Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mrhaandi issue stats
Total issues: 9
Total pull requests: 44
Merged pull request: 40
Average time to close issues: 3 months
Average time to close pull requests: 22 days
Average comments per issue: 7.78
Average comments per pull request: 2.68
Issues created
Pull requests created
- uds-psl/coq-library-undecidability: 18
- coq/coq: 4
- coq-community/corn: 2
- mit-plv/fiat: 2
- coq-community/math-classes: 2
- coq-community/paramcoq: 2
- mit-plv/kami: 2
- mit-plv/engine-bench: 1
- mit-plv/coqutil: 1
- uwplse/verdi-raft: 1
- fblanqui/color: 1
- MetaCoq/metacoq: 1
- mit-pdos/perennial: 1
- QuickChick/QuickChick: 1
- mit-plv/bbv: 1
- Mtac2/Mtac2: 1
- mit-plv/rewriter: 1
- GeoCoq/GeoCoq: 1
- coq-community/bignums: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (6, 66.67%)
- Contributor (2, 22.22%)
- None (1, 11.11%)
Pull Request Author Associations
- Contributor (26, 59.09%)
- Collaborator (18, 40.91%)
Top Issue Labels
- kind: regression (1)
- part: universes (1)
- kind: bug (1)
Top Pull Request Labels
- part: standard library (3)
- kind: feature (2)
- kind: performance (1)
- kind: enhancement (1)