GitHub / agda / agda-stdlib issue stats
Last synced: 2 days ago
Total issues: 195
Total pull requests: 479
Average time to close issues: about 1 year
Average time to close pull requests: 29 days
Total issue authors: 28
Total pull request authors: 42
Average comments per issue: 2.85
Average comments per pull request: 2.23
Merged pull requests: 313
Bot issues: 0
Bot pull requests: 0
Past year issues: 84
Past year pull requests: 309
Past year average time to close issues: 10 days
Past year average time to close pull requests: 7 days
Past year issue authors: 18
Past year pull request authors: 26
Past year average comments per issue: 1.71
Past year average comments per pull request: 1.64
Past year merged pull requests: 199
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 (151, 77.44%)
- Member (24, 12.31%)
- None (20, 10.26%)
Pull Request Author Associations
- Contributor (410, 85.59%)
- Member (48, 10.02%)
- None (21, 4.38%)
Top Issue Authors
- jamesmckinna (89)
- mechvel (24)
- JacquesCarette (17)
- gallais (10)
- MatthewDaggitt (9)
- onestruggler (9)
- Taneb (9)
- andreasabel (5)
- jwaldmann (2)
- javierdiaz72 (2)
- jmougeot (2)
- wgbusch (1)
- mildsunrise (1)
- juhp (1)
- m0davis (1)
Top Pull Request Authors
- jamesmckinna (192)
- jmougeot (128)
- JacquesCarette (21)
- Taneb (18)
- andreasabel (18)
- MatthewDaggitt (16)
- gallais (10)
- carlostome (8)
- mildsunrise (6)
- cspollard (4)
- Ailrun (4)
- bsaul (4)
- javierdiaz72 (3)
- onestruggler (3)
- gabriellisboaconegero (3)
All Maintainers
- Taneb (27)
- andreasabel (23)
- gallais (20)
- jespercockx (1)
- ncfavier (1)
Active Maintainers
- Taneb (11)
- andreasabel (8)
- gallais (6)
Top Issue Labels
- library-design (41)
- refactoring (40)
- addition (38)
- discussion (21)
- bug (20)
- low-hanging-fruit (17)
- breaking (14)
- deprecation (12)
- dependencies (11)
- naming (10)
- documentation (10)
- question (8)
- admin (6)
- task (5)
- style-guide (4)
- cosmetic (4)
- release (3)
- status: duplicate (3)
- continuous-integration (3)
- upstream (2)
- performance (2)
- cubical-compatible (2)
- instances (2)
- tactics (1)
- status: invalid (1)
- regression (1)
- status: blocked-by-issue (1)
Top Pull Request Labels
- addition (142)
- refactoring (124)
- dependencies (48)
- cosmetic (45)
- bug (40)
- library-design (30)
- low-hanging-fruit (30)
- deprecation (27)
- admin (19)
- breaking (19)
- documentation (18)
- naming (15)
- discussion (9)
- status: blocked-by-issue (7)
- style-guide (6)
- continuous-integration (4)
- status: duplicate (4)
- upstream (4)
- status: won't-merge (3)
- instances (3)
- tactics (3)
- release (2)
- reflection (2)
- performance (2)
- Fairbairn threshold (1)
- cubical-compatible (1)
- paper-based (1)
- license (1)
- question (1)
- subsets (1)