Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / szumixie issue stats

Total issues: 6
Total pull requests: 14
Merged pull request: 14
Average time to close issues: 6 days
Average time to close pull requests: 3 days
Average comments per issue: 1.5
Average comments per pull request: 1.36

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Contributor (6, 100.00%)

Pull Request Author Associations

  • Contributor (13, 92.86%)
  • Member (1, 7.14%)

Top Issue Labels

  • internal-error (3)
  • positivity (2)
  • cubical (2)
  • rewriting (2)
  • de-Bruijn (2)
  • bug (1)
  • missing reduce (1)
  • give (1)
  • singleton-types (1)
  • false (1)

Top Pull Request Labels

  • catch-all (3)
  • internal-error (3)
  • builtin (2)
  • generalize (2)
  • pr: squash-me (2)
  • build-failure (2)
  • happy (2)
  • compiler-treeless (2)
  • backends (2)
  • de-Bruijn (1)
  • ux: case splitting (1)
  • with (1)
  • backend: js (1)
  • termination (1)
  • type: enhancement (1)