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: 5 days 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: 2
Past year pull requests: 8
Past year average time to close issues: 25 days
Past year average time to close pull requests: 1 day
Past year issue authors: 1
Past year pull request authors: 4
Past year average comments per issue: 3.5
Past year average comments per pull request: 0.63
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%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)
Active Maintainers
- Zimmi48 (2)
Top Issue Labels
- help wanted (2)