Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / pi8027 issue stats
Total issues: 24
Total pull requests: 88
Merged pull request: 73
Average time to close issues: 7 months
Average time to close pull requests: 3 months
Average comments per issue: 2.83
Average comments per pull request: 3.3
Issues created
Pull requests created
- math-comp/math-comp: 37
- coq-community/fourcolor: 9
- math-comp/finmap: 9
- fmarotta/kaobook: 7
- math-comp/hierarchy-builder: 5
- coq-community/coqeal: 4
- imdea-software/fcsl-pcm: 4
- coq/opam: 3
- coq-community/lemma-overloading: 2
- GeoCoq/GeoCoq: 2
- coq-community/metaprogramming-rosetta-stone: 2
- haskell/criterion: 1
- coq-community/graph-theory: 1
- coq-community/paramcoq: 1
- math-comp/analysis: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (18, 75.00%)
- Contributor (6, 25.00%)
Pull Request Author Associations
- Member (52, 59.09%)
- Contributor (34, 38.64%)
- Collaborator (2, 2.27%)
Top Issue Labels
- kind: enhancement (4)
- kind: refactoring (2)
Top Pull Request Labels
- kind: enhancement (4)
- kind: fix (2)
- kind: help wanted (1)
- needs: fix (1)
- kind: refactoring (1)