Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / agda / agda issue stats
Last synced: 1 day ago
Total issues: 106
Total pull requests: 5
Average time to close issues: 10 days
Average time to close pull requests: 6 days
Total issue authors: 6
Total pull request authors: 4
Average comments per issue: 3.06
Average comments per pull request: 2.6
Merged pull requests: 2
Bot issues: 0
Bot pull requests: 0
Past year issues: 5
Past year pull requests: 5
Past year average time to close issues: about 2 hours
Past year average time to close pull requests: 6 days
Past year issue authors: 5
Past year pull request authors: 4
Past year average comments per issue: 1.8
Past year average comments per pull request: 2.6
Past year merged pull requests: 2
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda
Issue Author Associations
- None (101, 95.28%)
- Member (3, 2.83%)
- Contributor (2, 1.89%)
Pull Request Author Associations
- Contributor (3, 60.00%)
- Member (2, 40.00%)
Top Issue Authors
- GoogleCodeExporter (100)
- andreasabel (2)
- jamesmckinna (1)
- jespercockx (1)
- lawcho (1)
- mechvel (1)
Top Pull Request Authors
- szumixie (2)
- andreasabel (1)
- plt-amy (1)
- lawcho (1)
All Maintainers
- andreasabel (3)
- jespercockx (1)
- plt-amy (1)
Active Maintainers
- andreasabel (2)
- jespercockx (1)
- plt-amy (1)
Top Issue Labels
- type: bug (86)
- type: enhancement (14)
- as-patterns (3)
- termination (2)
- pattern matching (2)
- modules (2)
- with (2)
- bug or feature? (1)
- scope (1)
- shadowing (1)
- language change (1)
- ux: warnings (1)
- range (1)
- refactor (1)
- Agda loops (1)
- build-failure (1)
- happy (1)
- upstream (1)
- backend: js (1)
- ux: documentation (1)
- release (1)
- instance (1)
- performance (1)
- syntax (1)
- overloading (1)
- type-checking (1)
- help wanted (1)
- polarity (1)
- unused-arguments (1)
- literals (1)
Top Pull Request Labels
- record constructors (1)
- backend: js (1)
- exact split (1)
- type: task (1)
- performance (1)
- refactor (1)
- type: enhancement (1)
- termination (1)
- catch-all (1)