Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / rtetley issue stats
Total issues: 35
Total pull requests: 13
Merged pull request: 10
Average time to close issues: 14 days
Average time to close pull requests: 2 days
Average comments per issue: 3.54
Average comments per pull request: 0.77
Issues created
- coq-community/reglang: 4
- coq-community/vscoq: 4
- mit-plv/fiat-crypto: 2
- QuickChick/QuickChick: 2
- coq-community/paramcoq: 2
- PrincetonUniversity/VST: 2
- MetaCoq/metacoq: 2
- mattam82/Coq-Equations: 2
- coq-community/math-classes: 2
- mit-plv/rupicola: 2
- ejgallego/coq-serapi: 2
- coq-community/corn: 2
- coq-community/coqeal: 2
- coq-community/bignums: 1
- LPCIC/coq-elpi: 1
- UniMath/UniMath: 1
- HaaLeo/publish-vscode-extension: 1
- math-comp/math-comp: 1
Pull requests created
- coq-community/vscoq: 12
- coq/platform: 1
Maintainer
- coq-community/vscoq: 16
- coq/platform: 1
Active Maintainer
- coq-community/vscoq: 16
- coq/platform: 1
Issue Author Associations
- None (31, 88.57%)
- Collaborator (4, 11.43%)
Pull Request Author Associations
- Collaborator (13, 100.00%)
Top Issue Labels
- enhancement (1)
- question (1)
- kind: meta (1)