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
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
- edwinb (66)
- spcfox (27)
- andrevidela (17)
- buzden (9)
- gallais (7)
- srghma (7)
- dunhamsteve (5)
- ohad (5)
- joelberkeley (5)
- eayus (4)
- barracuda156 (3)
- stepancheg (2)
- nmccarty (2)
- freddi301 (2)
- jjl (2)
Top Pull Request Authors
- buzden (20)
- mattpolzin (15)
- dunhamsteve (14)
- spcfox (13)
- andrevidela (13)
- ska80 (10)
- gallais (7)
- Matthew-Mosior (6)
- fabianhjr (4)
- barracuda156 (3)
- melted (3)
- stefan-hoeck (3)
- jfdm (3)
- andylokandy (3)
- madman-bob (2)
All Maintainers
- edwinb (66)
- andrevidela (30)
- mattpolzin (15)
- gallais (14)
- buzden (6)
- ohad (6)
- dunhamsteve (6)
- melted (3)
- jfdm (3)
- ziman (2)
- madman-bob (2)
- mjustus (2)
- Z-snails (1)
- CodingCellist (1)
Active Maintainers
- andrevidela (29)
- mattpolzin (15)
- gallais (12)
- dunhamsteve (6)
- buzden (5)
- madman-bob (2)
- mjustus (2)
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)