Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / CohenCyril issue stats
Total issues: 8
Total pull requests: 23
Merged pull request: 7
Average time to close issues: almost 3 years
Average time to close pull requests: 10 months
Average comments per issue: 1.88
Average comments per pull request: 3.7
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (8, 100.00%)
Pull Request Author Associations
- Member (17, 73.91%)
- Contributor (4, 17.39%)
- None (2, 8.70%)
Top Issue Labels
- needs: discussion (1)
- needs: assignee (1)
- kind: meta-issue (1)
- kind: bug (1)
Top Pull Request Labels
- 10.rebuild-linux: 1-10 (3)
- 10.rebuild-darwin: 1-10 (3)
- 11.by: package-maintainer (3)
- kind: enhancement (3)
- kind: refactoring (2)
- 8.has: package (new) (1)
- 10.rebuild-darwin: 1 (1)
- 10.rebuild-linux: 1 (1)
- needs: fix (1)
- needs: coq 8.18 (1)
- TODO: MC-1 port (1)
- needs: more development (1)