Ecosyste.ms: Issues

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

GitHub / idris-lang / Idris2 issue stats

Last synced: about 9 hours ago

Total issues: 113
Total pull requests: 87
Average time to close issues: 9 months
Average time to close pull requests: 11 days
Total issue authors: 35
Total pull request authors: 27
Average comments per issue: 3.98
Average comments per pull request: 1.55
Merged pull requests: 76
Bot issues: 0
Bot pull requests: 0

Past year issues: 29
Past year pull requests: 55
Past year average time to close issues: 24 days
Past year average time to close pull requests: 5 days
Past year issue authors: 20
Past year pull request authors: 17
Past year average comments per issue: 2.34
Past year average comments per pull request: 1.56
Past year merged pull requests: 45
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/idris-lang/Idris2
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris2

Issue Author Associations

  • Collaborator (74, 65.49%)
  • None (18, 15.93%)
  • Contributor (17, 15.04%)
  • Member (4, 3.54%)

Pull Request Author Associations

  • Contributor (56, 64.37%)
  • Collaborator (22, 25.29%)
  • Member (5, 5.75%)
  • None (4, 4.60%)

Top Issue Authors

Top Pull Request Authors


All Maintainers

Active Maintainers


Top Issue Labels

  • status: confirmed bug (24)
  • Feature request (17)
  • Installation Issue (14)
  • good first issue (9)
  • status: expected behaviour (6)
  • interactive: case (4)
  • language: interface (4)
  • error: bad message (4)
  • language: let (4)
  • cli: repl (3)
  • safety: proof of false (3)
  • implem: inference (3)
  • scope: public (2)
  • language: case (2)
  • language: implicit (2)
  • admin: faq (2)
  • language: quantity (2)
  • implem: termination checking (2)
  • implem: interface resolution (2)
  • language: lambda-case (2)
  • status: upstream (2)
  • status: invalid (2)
  • implem: normalise (2)
  • implem: parsing (2)
  • syntax (2)
  • safety: coverage (2)
  • os: windows (1)
  • implem: quantity subtyping (1)
  • implem: typechecking (1)
  • language: data (1)

Top Pull Request Labels

  • documentation (5)
  • status: confirmed bug (5)
  • enhancement (5)
  • library: base (4)
  • os: nix (3)
  • performance (3)
  • backend: chez (2)
  • code: cleanup (2)
  • admin: continuous-integration (2)
  • library: contrib (2)
  • error: reporting (2)
  • admin: packaging (2)
  • implem: search (1)
  • backend: refc (1)
  • language: auto-implicit (1)
  • language: implicit (1)
  • language: fixity (1)
  • implem: elaboration (1)
  • language: packaging (1)
  • language: quantity (1)
  • backend: chez-sep (1)
  • os: mac (1)
  • language: reflection (1)
  • language: primitives (1)
  • language: typecase (1)
  • implem: parsing (1)
  • library: test (1)
  • backend: html (1)
  • library: linear (1)
  • typo (1)