Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / SkySkimmer issue stats
Total issues: 11
Total pull requests: 111
Merged pull request: 65
Average time to close issues: 12 months
Average time to close pull requests: 18 days
Average comments per issue: 7.27
Average comments per pull request: 6.14
Issues created
- coq/coq: 11
Pull requests created
- coq/coq: 84
- mit-plv/fiat-crypto: 10
- Mtac2/Mtac2: 10
- QuickChick/QuickChick: 6
- garrigue/lablgtk: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (11, 100.00%)
Pull Request Author Associations
- Contributor (111, 100.00%)
Top Issue Labels
- part: checker (2)
- kind: bug (2)
- Coq Consortium support services (1)
- kind: wish (1)
- kind: design discussion (1)
- part: records (1)
- kind: infrastructure (1)
- food for thought (1)
- part: CI (1)
Top Pull Request Labels
- kind: fix (19)
- kind: cleanup (15)
- kind: infrastructure (14)
- needs: full CI (14)
- kind: internal (8)
- needs: rebase (6)
- kind: enhancement (6)
- kind: user messages (5)
- part: ltac2 (5)
- kind: documentation (4)
- needs: progress (3)
- needs: test-suite update (3)
- kind: feature (3)
- kind: performance (3)
- needs: discussion (3)