Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / TheoWinterhalter issue stats
Total issues: 11
Total pull requests: 19
Merged pull request: 14
Average time to close issues: about 1 year
Average time to close pull requests: 8 days
Average comments per issue: 5.09
Average comments per pull request: 5.68
Issues created
Pull requests created
- MetaCoq/metacoq: 12
- coq/ceps: 4
- coq-community/vscoq: 2
- fmarotta/kaobook: 1
Maintainer
- MetaCoq/metacoq: 13
Active Maintainer
Issue Author Associations
- Contributor (6, 54.55%)
- None (4, 36.36%)
- Member (1, 9.09%)
Pull Request Author Associations
- Member (12, 63.16%)
- None (6, 31.58%)
- Contributor (1, 5.26%)
Top Issue Labels
- bug (4)
- enhancement (2)
- question (1)
- help wanted (1)