Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / erikmd issue stats
Total issues: 35
Total pull requests: 49
Merged pull request: 48
Average time to close issues: about 2 months
Average time to close pull requests: 25 days
Average comments per issue: 2.4
Average comments per pull request: 3.18
Issues created
- coq-community/docker-coq-action: 14
- math-comp/math-comp: 3
- cpitclaudel/company-coq: 3
- cpitclaudel/alectryon: 2
- ocaml/opam.ocaml.org: 1
- ocaml/tuareg: 1
- ocaml/omd: 1
- emacs-lsp/lsp-gitpod: 1
- googleapis/release-please: 1
- microscaling/microbadger: 1
- gitpod-io/gitpod: 1
- victornoel/may: 1
- ocaml/merlin: 1
- docker/build-push-action: 1
- google-github-actions/release-please-action: 1
- ocaml/opam: 1
- goulinkh/twittermastodon.com: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (17, 48.57%)
- None (12, 34.29%)
- Contributor (6, 17.14%)
Pull Request Author Associations
- Member (42, 85.71%)
- Contributor (6, 12.24%)
- None (1, 2.04%)
Top Issue Labels
- documentation (6)
- enhancement (5)
- bug (3)
- type: feature request (1)
- team: team-experience (1)
- type: improvement (1)
- feature: terminal (1)
- priority: p3 (1)
- type: bug (1)
- AREA: SOLVER (1)
- kind: CI (1)
- kind: help (1)
- status: help wanted (1)
- upstream (1)
- kind: feature (1)
Top Pull Request Labels
- documentation (13)
- fix (11)
- enhancement (8)
- feature (6)
- kind: CI (2)