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: 20 days ago

Total issues: 203
Total pull requests: 147
Average time to close issues: 8 months
Average time to close pull requests: 14 days
Total issue authors: 48
Total pull request authors: 37
Average comments per issue: 3.32
Average comments per pull request: 2.18
Merged pull requests: 125
Bot issues: 0
Bot pull requests: 0

Past year issues: 103
Past year pull requests: 115
Past year average time to close issues: 26 days
Past year average time to close pull requests: 12 days
Past year issue authors: 30
Past year pull request authors: 27
Past year average comments per issue: 2.25
Past year average comments per pull request: 2.36
Past year merged pull requests: 94
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 (97, 47.78%)
  • Contributor (60, 29.56%)
  • None (39, 19.21%)
  • Member (7, 3.45%)

Pull Request Author Associations

  • Contributor (87, 59.18%)
  • Collaborator (46, 31.29%)
  • Member (7, 4.76%)
  • None (7, 4.76%)

Top Issue Authors

Top Pull Request Authors


All Maintainers

Active Maintainers


Top Issue Labels

  • status: confirmed bug (38)
  • Feature request (33)
  • Installation Issue (16)
  • good first issue (11)
  • safety: proof of false (8)
  • error: bad message (7)
  • status: expected behaviour (6)
  • language: interface (5)
  • safety: coverage (5)
  • implem: parsing (5)
  • implem: pattern-matching (4)
  • language: namespace (4)
  • interactive: case (4)
  • language: where (4)
  • language: let (4)
  • language: quantity (4)
  • scope: public (4)
  • implem: termination checking (4)
  • safety: totality (3)
  • language: data (3)
  • cli: repl (3)
  • status: duplicate (3)
  • admin: faq (3)
  • implem: interface elaboration (3)
  • implem: inference (3)
  • library: base (3)
  • language: lambda-case (2)
  • status: upstream (2)
  • scope: hide (2)
  • backend: scheme (2)

Top Pull Request Labels

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