Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gares issue stats
Total issues: 43
Total pull requests: 33
Merged pull request: 26
Average time to close issues: 10 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.67
Average comments per pull request: 3.91
Issues created
- math-comp/mcb: 27
- cpitclaudel/alectryon: 4
- math-comp/math-comp: 2
- coq/coq: 2
- camlp5/camlp5: 2
- coq-community/docker-coq-action: 2
- jscoq/jscoq: 2
- Mtac2/Mtac2: 1
- ocaml/flexdll: 1
Pull requests created
Maintainer
- math-comp/mcb: 41
- coq/coq: 8
- math-comp/math-comp: 5
Active Maintainer
- coq/coq: 4
- math-comp/math-comp: 2
Issue Author Associations
- Member (31, 72.09%)
- None (11, 25.58%)
- Contributor (1, 2.33%)
Pull Request Author Associations
- Member (23, 69.70%)
- Contributor (7, 21.21%)
- None (3, 9.09%)
Top Issue Labels
- upstream (2)
- blocked (2)
- fixed by: fleche (2)
- bug (1)
- enhancement (1)
- kind: meta (1)
- part: build (1)
- kind: enhancement (1)
- needs: coq 8.18 (1)
Top Pull Request Labels
- kind: infrastructure (3)
- needs: rebase (2)
- needs: full CI (2)
- kind: cleanup (1)
- kind: internal (1)
- part: vernac (1)
- part: parser (1)
- stale (1)
- kind: feature (1)
- A-lexing (1)
- kind: meta (1)
- kind: documentation (1)