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
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
- edwinb (66)
- buzden (5)
- andrevidela (4)
- gallais (4)
- joelberkeley (2)
- JavierGelatti (2)
- freddi301 (2)
- Matthew-Mosior (1)
- MilanKral (1)
- noinia (1)
- ohad (1)
- scarf005 (1)
- ska80 (1)
- spocino (1)
- stefan-hoeck (1)
Top Pull Request Authors
- dunhamsteve (11)
- buzden (10)
- ska80 (10)
- mattpolzin (9)
- Matthew-Mosior (5)
- gallais (5)
- fabianhjr (4)
- jfdm (3)
- andylokandy (3)
- barracuda156 (3)
- andrevidela (3)
- melted (3)
- stefan-hoeck (2)
- madman-bob (2)
- stephen-smith (2)
All Maintainers
- edwinb (66)
- gallais (9)
- mattpolzin (9)
- andrevidela (7)
- jfdm (3)
- melted (3)
- madman-bob (2)
- ohad (2)
- ziman (2)
- CodingCellist (1)
- Z-snails (1)
Active Maintainers
- mattpolzin (9)
- gallais (7)
- andrevidela (6)
- madman-bob (2)
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)