GitHub / banacorn / agda-mode-vscode issue stats
Last synced: 2 months ago
Total issues: 161
Total pull requests: 69
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Total issue authors: 87
Total pull request authors: 29
Average comments per issue: 2.37
Average comments per pull request: 1.41
Merged pull requests: 61
Bot issues: 0
Bot pull requests: 17
Past year issues: 29
Past year pull requests: 19
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 23 days
Past year issue authors: 18
Past year pull request authors: 9
Past year average comments per issue: 1.31
Past year average comments per pull request: 1.16
Past year merged pull requests: 16
Past year bot issues: 0
Past year bot pull requests: 1
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/banacorn%2Fagda-mode-vscode
Issue Author Associations
- None (102, 63.35%)
- Contributor (37, 22.98%)
- Owner (11, 6.83%)
- Collaborator (9, 5.59%)
Pull Request Author Associations
- Contributor (62, 89.86%)
- None (4, 5.80%)
- Owner (1, 1.45%)
Top Issue Authors
- fredrik-bakke (15)
- banacorn (11)
- bblfish (9)
- L-TChen (5)
- ice1000 (5)
- andreasabel (4)
- ncfavier (4)
- jespercockx (4)
- jonaprieto (3)
- rjmk (3)
- uhbif19 (3)
- barrettj12 (3)
- cspollard (3)
- plt-amy (3)
- glangmead (3)
Top Pull Request Authors
- dependabot[bot] 🤖 (17)
- fredrik-bakke (9)
- vic0103520 (7)
- jiangsy (4)
- ncfavier (4)
- EdNutting (2)
- jonaprieto (2)
- lawcho (1)
- Trebor-Huang (1)
- szumixie (1)
- jul1u5 (1)
- ChAoSUnItY (1)
- anqurvanillapy (1)
- pragma- (1)
- plt-amy (1)
All Maintainers
- banacorn (12)
- L-TChen (5)
- jespercockx (4)
Active Maintainers
- banacorn (1)
Top Issue Labels
- bug (73)
- enhancement (35)
- unreproducible (5)
- documentation (5)
- blocked (5)
- question (4)
- duplicate (1)
- extension conflict (1)
- installation (1)
- web (1)
Top Pull Request Labels
- dependencies (19)
- enhancement (1)