Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fajb issue stats
Total issues: 2
Total pull requests: 10
Merged pull request: 8
Average time to close issues: over 1 year
Average time to close pull requests: 18 days
Average comments per issue: 2.5
Average comments per pull request: 1.3
Issues created
- coq/coq: 2
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (2, 100.00%)
Pull Request Author Associations
- Contributor (8, 80.00%)
- None (1, 10.00%)
- Collaborator (1, 10.00%)
Top Issue Labels
- kind: bug (2)
- part: extraction (1)
- part: VM (1)
- part: modules (1)
- part: native compiler (1)