Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / charguer issue stats
Total issues: 5
Total pull requests: 0
Merged pull request: 0
Average time to close issues: almost 3 years
Average time to close pull requests: N/A
Average comments per issue: 13.6
Average comments per pull request: 0
Issues created
- coq/coq: 2
- coq-community/vscoq: 2
- coq/vscoq: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (3, 60.00%)
- Contributor (2, 40.00%)
Pull Request Author Associations
Top Issue Labels
- part: notations (1)
- kind: anomaly (1)
- kind: performance (1)
- part: CoqIDE (1)
- needs: triage (1)