Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / uwplse / coq-plugin-lib issue stats
Last synced: about 18 hours ago
Total issues: 40
Total pull requests: 38
Average time to close issues: 12 days
Average time to close pull requests: 7 days
Total issue authors: 2
Total pull request authors: 6
Average comments per issue: 0.1
Average comments per pull request: 0.37
Merged pull requests: 30
Bot issues: 0
Bot pull requests: 0
Past year issues: 0
Past year pull requests: 4
Past year average time to close issues: N/A
Past year average time to close pull requests: about 21 hours
Past year issue authors: 0
Past year pull request authors: 1
Past year average comments per issue: 0
Past year average comments per pull request: 1.5
Past year merged pull requests: 2
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/uwplse%2Fcoq-plugin-lib
Issue Author Associations
- Collaborator (38, 95.00%)
- None (2, 5.00%)
Pull Request Author Associations
- None (20, 52.63%)
- Collaborator (14, 36.84%)
- Member (2, 5.26%)
- Contributor (2, 5.26%)
Top Pull Request Authors
- randair (20)
- tlringer (8)
- agrarpan (4)
- ztatlock (2)
- nateyazdani (2)
- InnovativeInventor (2)
All Maintainers
- tlringer (46)
- agrarpan (4)
- InnovativeInventor (2)
- ztatlock (2)
Active Maintainers
- agrarpan (4)
Top Issue Labels
- meta (3)
- bug (2)
- blocked (2)