Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / proux01 issue stats
Total issues: 9
Total pull requests: 105
Merged pull request: 98
Average time to close issues: 5 months
Average time to close pull requests: 10 days
Average comments per issue: 1.44
Average comments per pull request: 1.79
Issues created
Pull requests created
- math-comp/math-comp: 96
- Mtac2/Mtac2: 3
- coq/coq: 2
- mit-plv/fiat-crypto: 2
- NixOS/nixpkgs: 2
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (8, 88.89%)
- None (1, 11.11%)
Pull Request Author Associations
- Contributor (105, 100.00%)
Top Issue Labels
- kind: warning (1)
- bug (1)
Top Pull Request Labels
- kind: clean-up (3)
- TODO: MC-1 port (3)
- kind: documentation (2)
- drops: coq 8.16 (2)
- drops: coq 8.17 (2)
- kind: CI (1)
- 10.rebuild-darwin: 0 (1)
- 10.rebuild-linux: 0 (1)
- 12.approvals: 1 (1)
- 10.rebuild-linux: 11-100 (1)
- 10.rebuild-darwin: 11-100 (1)
- needs: coq 8.18 (1)
- kind: warning (1)
- needs: rebase (1)
- part: CI (1)