GitHub / coq-community / docker-coq issue stats
Last synced: 8 months ago
Total issues: 51
Total pull requests: 51
Average time to close issues: 3 months
Average time to close pull requests: 6 days
Total issue authors: 15
Total pull request authors: 4
Average comments per issue: 6.51
Average comments per pull request: 1.92
Merged pull requests: 48
Bot issues: 0
Bot pull requests: 0
Past year issues: 3
Past year pull requests: 10
Past year average time to close issues: 2 days
Past year average time to close pull requests: 9 days
Past year issue authors: 2
Past year pull request authors: 1
Past year average comments per issue: 2.0
Past year average comments per pull request: 2.9
Past year merged pull requests: 8
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Fdocker-coq
Issue Author Associations
- Member (21, 41.18%)
- None (10, 19.61%)
- Contributor (2, 3.92%)
Pull Request Author Associations
- Member (31, 60.78%)
- Contributor (3, 5.88%)
Top Issue Authors
- erikmd (8)
- JasonGross (6)
- liyishuai (3)
- LasseBlaauwbroek (3)
- palmskog (2)
- Blaisorblade (2)
- clarus (1)
- mattam82 (1)
- chdoc (1)
- picojulien (1)
- MSoegtropIMC (1)
- anton-trunov (1)
- hendriktews (1)
- brandenburg (1)
- cmester0 (1)
Top Pull Request Authors
- erikmd (30)
- Blaisorblade (2)
- Zimmi48 (1)
- artagnon (1)
All Maintainers
- erikmd (38)
- JasonGross (6)
- liyishuai (3)
- palmskog (2)
- chdoc (1)
- anton-trunov (1)
- Zimmi48 (1)
Active Maintainers
- erikmd (1)
- JasonGross (1)
Top Issue Labels
- question (11)
- enhancement (6)
- release (6)
- bug (3)
- kind: meta (2)
- duplicate (1)
- documentation (1)
Top Pull Request Labels
- release (20)
- enhancement (5)
- fix (4)
- documentation (1)