Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tchajed / coq-record-update issue stats
Last synced: 2 months ago
Total issues: 53
Total pull requests: 41
Average time to close issues: 3 months
Average time to close pull requests: 17 days
Total issue authors: 19
Total pull request authors: 13
Average comments per issue: 2.58
Average comments per pull request: 1.61
Merged pull requests: 33
Bot issues: 0
Bot pull requests: 0
Past year issues: 9
Past year pull requests: 8
Past year average time to close issues: 24 days
Past year average time to close pull requests: 2 days
Past year issue authors: 5
Past year pull request authors: 4
Past year average comments per issue: 3.22
Past year average comments per pull request: 1.5
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/tchajed%2Fcoq-record-update
Issue Author Associations
- None (37, 69.81%)
- Contributor (14, 26.42%)
- Owner (2, 3.77%)
Pull Request Author Associations
- Contributor (35, 85.37%)
- None (4, 9.76%)
- Owner (2, 4.88%)
Top Issue Authors
- MSoegtropIMC (11)
- samuelgruetter (8)
- rtetley (4)
- MackieLoeffel (4)
- rhz (2)
- jakobbotsch (2)
- vmurali (2)
- tchajed (2)
- gmalecha (2)
- vzaliva (2)
- SnarkBoojum (2)
- dhilst (2)
- Nils-Lauermann (2)
- richardlford (2)
- clarus (2)
Top Pull Request Authors
- JasonGross (10)
- MackieLoeffel (4)
- samuelgruetter (4)
- SkySkimmer (4)
- jakobbotsch (3)
- tchajed (2)
- sanjit-bhat (2)
- simongregersen (2)
- Nils-Lauermann (2)
- palmskog (2)
- herbelin (2)
- jtmcx (2)
- sertel (2)