GitHub / coq / vscoq issue stats
Last synced: 4 months ago
Total issues: 160
Total pull requests: 180
Average time to close issues: over 1 year
Average time to close pull requests: about 1 month
Total issue authors: 53
Total pull request authors: 24
Average comments per issue: 2.93
Average comments per pull request: 1.51
Merged pull requests: 147
Bot issues: 0
Bot pull requests: 11
Past year issues: 108
Past year pull requests: 105
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 6 days
Past year issue authors: 36
Past year pull request authors: 13
Past year average comments per issue: 2.91
Past year average comments per pull request: 1.1
Past year merged pull requests: 86
Past year bot issues: 0
Past year bot pull requests: 7
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fvscoq
Issue Author Associations
- None (45, 28.13%)
- Contributor (23, 14.37%)
- Member (18, 11.25%)
- Collaborator (14, 8.75%)
Pull Request Author Associations
- Collaborator (40, 22.22%)
- Contributor (22, 12.22%)
- Member (17, 9.44%)
Top Issue Authors
- rtetley (14)
- gares (8)
- JasonGross (6)
- thery (6)
- ybertot (5)
- Blaisorblade (5)
- TheoWinterhalter (4)
- RalfJung (4)
- cas-haaijman (3)
- thomas-lamiaux (3)
- tchajed (3)
- mattam82 (3)
- FissoreD (2)
- nirshahar (2)
- taeyoung-1 (2)
Top Pull Request Authors
- rtetley (40)
- gares (13)
- dependabot[bot] 🤖 (5)
- SkySkimmer (5)
- Durbatuluk1701 (4)
- Lysxia (2)
- KacperFKorban (2)
- ppedrot (2)
- mattam82 (1)
- Blaisorblade (1)
- tlsomers (1)
- cpitclaudel (1)
- herbelin (1)
- cas-haaijman (1)
All Maintainers
- rtetley (54)
- gares (21)
- JasonGross (6)
- mattam82 (4)
- ppedrot (2)
- herbelin (1)
- maximedenes (1)
Top Issue Labels
- bug (33)
- enhancement (33)
- prio:high (16)
- question (2)
- wontfix (2)
- Document Manager (1)
- Coq (1)
- duplicate (1)
Top Pull Request Labels
- dependencies (5)