Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cpitclaudel / company-coq issue stats
Last synced: 5 days ago
Total issues: 84
Total pull requests: 17
Average time to close issues: 5 months
Average time to close pull requests: 12 days
Total issue authors: 48
Total pull request authors: 9
Average comments per issue: 4.31
Average comments per pull request: 1.47
Merged pull requests: 9
Bot issues: 0
Bot pull requests: 0
Past year issues: 3
Past year pull requests: 0
Past year average time to close issues: 22 days
Past year average time to close pull requests: N/A
Past year issue authors: 2
Past year pull request authors: 0
Past year average comments per issue: 0.33
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/cpitclaudel%2Fcompany-coq
Issue Author Associations
- None (64, 76.19%)
- Contributor (20, 23.81%)
Pull Request Author Associations
- Contributor (15, 88.24%)
- None (2, 11.76%)
Top Issue Authors
- vzaliva (11)
- JasonGross (10)
- Matafou (4)
- erikmd (3)
- aa755 (3)
- beta-ziliani (3)
- liyishuai (3)
- jonleivent (2)
- samuelgruetter (2)
- nerrons (2)
- Ptival (2)
- anton0xf (2)
- LukeXuan (2)
- jgarte (1)
- santifa (1)
Top Pull Request Authors
- vzaliva (4)
- soraros (3)
- aa755 (3)
- erikmd (2)
- LukeXuan (1)
- tchajed (1)
- MackieLoeffel (1)
- anton-trunov (1)
- txyyss (1)