GitHub / coq / coq-bench issue stats
Last synced: 10 months ago
Total issues: 95
Total pull requests: 64
Average time to close issues: over 1 year
Average time to close pull requests: 25 days
Total issue authors: 6
Total pull request authors: 7
Average comments per issue: 3.95
Average comments per pull request: 2.78
Merged pull requests: 52
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fcoq-bench
Issue Author Associations
- Member (26, 27.37%)
- None (22, 23.16%)
- Contributor (10, 10.53%)
Pull Request Author Associations
- Member (26, 40.63%)
- Contributor (6, 9.38%)
Top Issue Authors
- ghost (22)
- ejgallego (13)
- SkySkimmer (10)
- maximedenes (8)
- JasonGross (3)
- Zimmi48 (2)
Top Pull Request Authors
- ejgallego (16)
- SkySkimmer (5)
- JasonGross (4)
- ppedrot (4)
- RalfJung (1)
- gares (1)
- anton-trunov (1)
All Maintainers
- ejgallego (29)
- maximedenes (8)
- JasonGross (7)
- ppedrot (4)
- Zimmi48 (2)
- anton-trunov (1)
- gares (1)
Active Maintainers
Top Issue Labels
- enhancement (20)
- kind: bug (8)
- kind: infrastructure (3)
- kind: documentation (1)
Top Pull Request Labels
- enhancement (6)
- kind: bug (3)
- kind: cleanup (2)
- kind: infrastructure (1)
- kind: documentation (1)