Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / 4ever2 issue stats
Total issues: 5
Total pull requests: 139
Merged pull request: 133
Average time to close issues: 9 months
Average time to close pull requests: 2 days
Average comments per issue: 4.8
Average comments per pull request: 0.16
Issues created
- coq/platform: 2
- AU-COBRA/ConCert: 2
- MetaCoq/metacoq: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (2, 40.00%)
- None (2, 40.00%)
- Contributor (1, 20.00%)
Pull Request Author Associations
- Collaborator (131, 94.24%)
- Contributor (6, 4.32%)
- None (2, 1.44%)
Top Issue Labels
- platform: windows (2)
- needs: prerequisites (2)
- type: refactor (2)
- part: examples (2)
Top Pull Request Labels
- part: infrastructure (64)
- type: enhancement (27)
- type: bug (23)
- part: dependencies (19)
- type: feature (14)
- type: refactor (12)
- part: examples (12)
- type: documentation (7)
- part: execution (3)
- part: Rust (3)
- state: blocked (2)
- 10.rebuild-darwin: 1-10 (1)
- 10.rebuild-linux: 1-10 (1)
- 8.has: package (new) (1)
- part: extraction (1)