Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yannl35133 issue stats
Total issues: 16
Total pull requests: 24
Merged pull request: 12
Average time to close issues: 3 months
Average time to close pull requests: 3 months
Average comments per issue: 2.0
Average comments per pull request: 2.54
Issues created
- coq/coq: 6
- ocaml/merlin: 2
- deducteam/isabelle_dedukti: 2
- deducteam/lambdapi: 1
- mono/mono: 1
- camlp4/camlp4: 1
- ocaml-community/utop: 1
- ocaml/ocaml-lsp: 1
- LPCIC/coq-elpi: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (9, 56.25%)
- Contributor (7, 43.75%)
Pull Request Author Associations
- Contributor (16, 66.67%)
- None (8, 33.33%)
Top Issue Labels
- kind: bug (5)
- part: ssreflect (2)
- needs: triage (2)
- Kind/Bug (2)
- area-Packaging (1)
- kind: wish (1)
- part: fixpoints (1)
- kind: user messages (1)
- bug (1)
- kind: anomaly (1)
- feature request (1)
- notation (1)
Top Pull Request Labels
- kind: fix (6)
- needs: full CI (4)
- part: rewrite rules (3)
- needs: rebase (3)
- kind: upstream (2)
- needs: changelog entry (1)
- part: kernel (1)
- stale (1)