GitHub / Villetaneuse issue stats
Total issues: 3
Total pull requests: 41
Merged pull request: 30
Average time to close issues: 16 days
Average time to close pull requests: 18 days
Average comments per issue: 2.0
Average comments per pull request: 3.95
Issues created
- jscoq/jscoq: 2
- coq/platform-docs: 1
Pull requests created
- coq/platform-docs: 12
- rocq-prover/stdlib: 4
- coq/coq: 3
- mattam82/Coq-Equations: 2
- jasongross/coq-scripts: 2
- mit-plv/rewriter: 2
- mit-pdos/perennial: 2
- mit-plv/fiat-crypto: 2
- rocq-community/autosubst: 1
- pygments/pygments: 1
- fblanqui/color: 1
- MetaCoq/metacoq: 1
- rocq-prover/rocq-prover.org: 1
- mit-plv/kami: 1
- QuickChick/QuickChick: 1
- rocq-community/math-classes: 1
- mit-plv/bbv: 1
- rocq-community/corn: 1
- coq/rfcs: 1
- mit-plv/rupicola: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (2, 66.67%)
- Collaborator (1, 33.33%)
Pull Request Author Associations
- Contributor (26, 63.41%)
- Collaborator (12, 29.27%)
- None (3, 7.32%)
Top Issue Labels
Top Pull Request Labels
- kind: cleanup (2)
- needs: rebase (2)
- stale (2)
- needs: full CI (2)
- kind: documentation (1)
- part: modules (1)
- part: standard library (1)
- kind: enhancement (1)