Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq / vscoq issue stats

Last synced: 4 days ago

Total issues: 137
Total pull requests: 167
Average time to close issues: over 1 year
Average time to close pull requests: about 1 month
Total issue authors: 47
Total pull request authors: 23
Average comments per issue: 2.77
Average comments per pull request: 1.53
Merged pull requests: 136
Bot issues: 0
Bot pull requests: 11

Past year issues: 86
Past year pull requests: 92
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 6 days
Past year issue authors: 30
Past year pull request authors: 12
Past year average comments per issue: 2.63
Past year average comments per pull request: 1.09
Past year merged pull requests: 75
Past year bot issues: 0
Past year bot pull requests: 7

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/coq/vscoq
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fvscoq

Issue Author Associations

None (63, 45.99%)
Contributor (30, 21.90%)
Member (25, 18.25%)
Collaborator (19, 13.87%)

Pull Request Author Associations

Member (58, 34.73%)
Collaborator (52, 31.14%)
Contributor (30, 17.96%)
None (27, 16.17%)

Top Issue Authors

Top Issue Labels

enhancement (59)
bug (36)
prio:high (16)
question (2)
wontfix (2)
Document Manager (1)
Coq (1)
duplicate (1)

Top Pull Request Labels

dependencies (11)
documentation (2)