Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / herbelin issue stats
Total issues: 6
Total pull requests: 35
Merged pull request: 15
Average time to close issues: over 3 years
Average time to close pull requests: about 1 month
Average comments per issue: 1.33
Average comments per pull request: 8.37
Issues created
- coq/coq: 3
- camlp5/camlp5: 3
Pull requests created
- coq/coq: 28
- mit-plv/fiat-crypto: 4
- Mtac2/Mtac2: 2
- garrigue/lablgtk: 1
Issue Author Associations
- Member (3, 50.00%)
- None (3, 50.00%)
Pull Request Author Associations
- Member (28, 80.00%)
- Contributor (7, 20.00%)
Top Issue Labels
- kind: meta (1)
- part: universes (1)
- needs: feedback (1)
- part: standard library (1)
- kind: question (1)
Top Pull Request Labels
- needs: full CI (13)
- kind: fix (11)
- part: notations (9)
- kind: enhancement (9)
- part: extraction (7)
- needs: rebase (5)
- kind: cleanup (4)
- part: tactics (3)
- stale (3)
- part: printer (2)
- part: rewriting tactics (2)
- part: kernel (2)
- needs: merge of dependency (2)
- kind: documentation (1)
- part: inductives (1)