GitHub / agda / agda-stdlib issue stats
Last synced: 11 days ago
Total issues: 31
Total pull requests: 90
Average time to close issues: 2 days
Average time to close pull requests: 5 days
Total issue authors: 10
Total pull request authors: 10
Average comments per issue: 4.58
Average comments per pull request: 2.08
Merged pull requests: 68
Bot issues: 0
Bot pull requests: 0
Past year issues: 29
Past year pull requests: 90
Past year average time to close issues: 2 days
Past year average time to close pull requests: 5 days
Past year issue authors: 10
Past year pull request authors: 10
Past year average comments per issue: 4.1
Past year average comments per pull request: 2.08
Past year merged pull requests: 68
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib
Issue Author Associations
- Contributor (16, 51.61%)
- None (13, 41.94%)
- Member (2, 6.45%)
Pull Request Author Associations
- Contributor (83, 92.22%)
- Member (6, 6.67%)
- None (1, 1.11%)
Top Issue Authors
- jamesmckinna (10)
- onestruggler (8)
- JacquesCarette (3)
- gallais (2)
- javierdiaz72 (2)
- jmougeot (2)
- jwaldmann (1)
- radams78 (1)
- mechvel (1)
- juhp (1)
Top Pull Request Authors
- jmougeot (54)
- jamesmckinna (22)
- andreasabel (4)
- carlostome (3)
- Ailrun (2)
- cspollard (1)
- ulidtko (1)
- Taneb (1)
- gallais (1)
- bsaul (1)
All Maintainers
- andreasabel (4)
- gallais (3)
- Taneb (1)
Active Maintainers
- andreasabel (4)
- gallais (3)
- Taneb (1)
Top Issue Labels
- bug (8)
- library-design (7)
- refactoring (5)
- breaking (5)
- discussion (5)
- addition (3)
- style-guide (3)
- deprecation (1)
- documentation (1)
- low-hanging-fruit (1)
- instances (1)
Top Pull Request Labels
- refactoring (16)
- addition (15)
- bug (9)
- breaking (8)
- dependencies (8)
- deprecation (5)
- cosmetic (4)
- library-design (4)
- naming (4)
- status: blocked-by-issue (3)
- upstream (2)
- low-hanging-fruit (2)
- discussion (1)
- documentation (1)
- status: duplicate (1)