Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / 4ever2 issue stats
Total issues: 6
Total pull requests: 164
Merged pull request: 156
Average time to close issues: 7 months
Average time to close pull requests: 5 days
Average comments per issue: 4.0
Average comments per pull request: 0.29
Issues created
- AU-COBRA/ConCert: 3
- coq/platform: 2
- MetaCoq/metacoq: 1
Pull requests created
- AU-COBRA/ConCert: 89
- AU-COBRA/coq-rust-extraction: 23
- AU-COBRA/coq-elm-extraction: 18
- coq/opam: 11
- AU-COBRA/typed-extraction: 7
- MetaCoq/metacoq: 5
- au-cobra/ovn: 3
- NixOS/nixpkgs: 2
- QuickChick/QuickChick: 2
- ejgallego/coq-lsp: 1
- community/community: 1
- blackbird71sr/programming-resources: 1
- math-comp/analysis: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (3, 50.00%)
- None (2, 33.33%)
- Contributor (1, 16.67%)
Pull Request Author Associations
- Collaborator (140, 85.37%)
- Contributor (22, 13.41%)
- None (2, 1.22%)
Top Issue Labels
- platform: windows (2)
- needs: prerequisites (2)
- type: refactor (2)
- part: examples (2)
Top Pull Request Labels
- part: infrastructure (68)
- type: enhancement (27)
- part: dependencies (23)
- type: bug (23)
- type: feature (14)
- type: refactor (12)
- part: examples (12)
- type: documentation (7)
- part: execution (3)
- part: Rust (3)
- 10.rebuild-linux: 1-10 (1)
- 10.rebuild-darwin: 1-10 (1)
- 10.rebuild-darwin: 0 (1)
- 10.rebuild-linux: 0 (1)
- kind: enhancement (1)