GitHub / coq / stdlib issue stats
Last synced: 5 days ago
Total issues: 64
Total pull requests: 40
Average time to close issues: 6 months
Average time to close pull requests: 5 days
Total issue authors: 27
Total pull request authors: 9
Average comments per issue: 3.91
Average comments per pull request: 0.6
Merged pull requests: 33
Bot issues: 0
Bot pull requests: 0
Past year issues: 9
Past year pull requests: 40
Past year average time to close issues: 2 days
Past year average time to close pull requests: 5 days
Past year issue authors: 8
Past year pull request authors: 9
Past year average comments per issue: 0.78
Past year average comments per pull request: 0.6
Past year merged pull requests: 33
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fstdlib
Issue Author Associations
- Contributor (34, 53.13%)
- Member (24, 37.50%)
- None (6, 9.38%)
Pull Request Author Associations
- Contributor (28, 70.00%)
- Member (10, 25.00%)
- None (1, 2.50%)
Top Issue Authors
- JasonGross (14)
- coqbot (14)
- ejgallego (4)
- Lysxia (3)
- mattam82 (2)
- samuelgruetter (2)
- herbelin (2)
- SnarkBoojum (2)
- Zimmi48 (2)
- MSoegtropIMC (2)
- Tuplanolla (1)
- imaxw (1)
- llee454 (1)
- jjhugues (1)
- Janno (1)
Top Pull Request Authors
- proux01 (17)
- mattam82 (5)
- SkySkimmer (5)
- Zimmi48 (4)
- Villetaneuse (3)
- thery (2)
- fajb (1)
- JasonGross (1)
- NicholasBHubbard (1)
All Maintainers
- JasonGross (15)
- mattam82 (7)
- Zimmi48 (6)
- ejgallego (4)
- herbelin (2)
Active Maintainers
- mattam82 (6)
- Zimmi48 (6)
- JasonGross (2)
- ejgallego (1)