Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community / corn issue stats
Last synced: about 1 month ago
Total issues: 38
Total pull requests: 157
Average time to close issues: 8 months
Average time to close pull requests: 15 days
Total issue authors: 21
Total pull request authors: 32
Average comments per issue: 3.13
Average comments per pull request: 1.61
Merged pull requests: 145
Bot issues: 0
Bot pull requests: 0
Past year issues: 1
Past year pull requests: 7
Past year average time to close issues: about 1 month
Past year average time to close pull requests: about 12 hours
Past year issue authors: 1
Past year pull request authors: 4
Past year average comments per issue: 4.0
Past year average comments per pull request: 0.71
Past year merged pull requests: 7
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Fcorn
Issue Author Associations
- None (20, 52.63%)
- Contributor (13, 34.21%)
- Member (3, 7.89%)
- Collaborator (2, 5.26%)
Pull Request Author Associations
- Contributor (81, 51.59%)
- Collaborator (52, 33.12%)
- Member (18, 11.46%)
- None (6, 3.82%)
Top Issue Authors
- langston-barrett (6)
- aa755 (5)
- MSoegtropIMC (5)
- Zimmi48 (2)
- rtetley (2)
- jwiegley (2)
- gares (2)
- jldodds (1)
- larsr (1)
- jakezweifler (1)
- nathan-koskas (1)
- OrenGitHub (1)
- palmskog (1)
- rnrand (1)
- SnarkBoojum (1)
Top Pull Request Authors
- VincentSe (45)
- anandadalton (19)
- Zimmi48 (18)
- maximedenes (8)
- spitters (7)
- ppedrot (6)
- proux01 (6)
- vbgl (6)
- ghost (5)
- aa755 (5)
- olaure01 (4)
- vblot (3)
- SkySkimmer (2)
- langston-barrett (2)
- mrhaandi (2)
Active Maintainers
- Zimmi48 (1)
Top Issue Labels
- help wanted (2)