Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Villetaneuse issue stats
Total issues: 5
Total pull requests: 41
Merged pull request: 32
Average time to close issues: 16 days
Average time to close pull requests: 17 days
Average comments per issue: 2.0
Average comments per pull request: 5.02
Issues created
- jscoq/jscoq: 4
- coq/platform-docs: 1
Pull requests created
- coq/platform-docs: 13
- jasongross/coq-scripts: 3
- coq/coq: 3
- mattam82/Coq-Equations: 2
- mit-plv/rupicola: 2
- coq/rfcs: 2
- mit-plv/rewriter: 2
- coq/ceps: 2
- mit-pdos/perennial: 2
- mit-plv/fiat-crypto: 2
- coq-community/math-classes: 1
- coq-community/autosubst: 1
- fblanqui/color: 1
- MetaCoq/metacoq: 1
- mit-plv/kami: 1
- QuickChick/QuickChick: 1
- mit-plv/bbv: 1
- coq-community/corn: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 80.00%)
- Collaborator (1, 20.00%)
Pull Request Author Associations
- Contributor (24, 58.54%)
- Collaborator (13, 31.71%)
- None (4, 9.76%)
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)