Ecosyste.ms: Issues

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

GitHub / coq-community / vscoq issue stats

Last synced: 2 days ago

Total issues: 89
Total pull requests: 111
Average time to close issues: over 1 year
Average time to close pull requests: 2 months
Total issue authors: 27
Total pull request authors: 15
Average comments per issue: 4.18
Average comments per pull request: 2.41
Merged pull requests: 91
Bot issues: 0
Bot pull requests: 2

Past year issues: 23
Past year pull requests: 15
Past year average time to close issues: 3 months
Past year average time to close pull requests: 4 days
Past year issue authors: 12
Past year pull request authors: 2
Past year average comments per issue: 4.96
Past year average comments per pull request: 3.27
Past year merged pull requests: 14
Past year bot issues: 0
Past year bot pull requests: 0

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

Issue Author Associations

Collaborator (43, 48.31%)
None (36, 40.45%)
Contributor (9, 10.11%)
Member (1, 1.12%)

Pull Request Author Associations

Collaborator (68, 61.26%)
None (32, 28.83%)
Contributor (7, 6.31%)
Member (4, 3.60%)

Top Issue Authors

Top Issue Labels

enhancement (31)
bug (23)
Document Manager (1)
Coq (1)
good first issue (1)
documentation (1)

Top Pull Request Labels

documentation (4)
dependencies (2)