Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / chdoc issue stats
Total issues: 18
Total pull requests: 39
Merged pull request: 37
Average time to close issues: about 1 month
Average time to close pull requests: about 1 month
Average comments per issue: 4.39
Average comments per pull request: 0.85
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (17, 94.44%)
- None (1, 5.56%)
Pull Request Author Associations
- Member (39, 100.00%)
Top Issue Labels
- move-project (4)
- coq-library (4)
- documentation (2)
- enhancement (1)