GitHub / rtetley issue stats
Total issues: 75
Total pull requests: 61
Merged pull request: 53
Average time to close issues: about 1 month
Average time to close pull requests: 9 days
Average comments per issue: 2.47
Average comments per pull request: 1.18
Issues created
- coq/vscoq: 14
- mit-plv/bedrock2: 4
- mit-plv/riscv-coq: 3
- coq-community/vscoq: 3
- coq-community/paramcoq: 2
- mattam82/Coq-Equations: 2
- coq-community/reglang: 2
- rocq-community/corn: 2
- lysxia/coq-simple-io: 2
- rocq-community/coqeal: 2
- mit-plv/coqutil: 2
- mit-plv/rewriter: 2
- MetaCoq/metacoq: 2
- mit-plv/fiat-crypto: 2
- rocq-archive/coq-serapi: 2
- jasmin-lang/coqword: 2
- QuickChick/QuickChick: 2
- math-comp/algebra-tactics: 2
- rocq-community/math-classes: 2
- lpcic/elpi: 2
- tchajed/coq-record-update: 2
- arthuraa/extructures: 2
- coq-community/reduction-effects: 2
- PrincetonUniversity/VST: 2
- mit-plv/rupicola: 1
- microsoft/language-server-protocol: 1
- math-comp/bigenough: 1
- math-comp/math-comp: 1
- HaaLeo/publish-vscode-extension: 1
- rocq-community/bignums: 1
- LPCIC/coq-elpi: 1
- coq/platform: 1
- math-comp/hierarchy-builder: 1
- UniMath/UniMath: 1
- math-comp/mczify: 1
Pull requests created
Maintainer
- coq/vscoq: 54
- rocq-prover/vscoq: 9
- coq-community/vscoq: 8
- coq/platform: 3
- rocq-prover/platform: 1
- lpcic/elpi-lang: 1
- rocq-prover/vsrocq: 1
Active Maintainer
- coq/vscoq: 51
- rocq-prover/vscoq: 9
- coq-community/vscoq: 8
- coq/platform: 1
- lpcic/elpi-lang: 1
- rocq-prover/vsrocq: 1
Issue Author Associations
- None (57, 76.00%)
- Collaborator (18, 24.00%)
Pull Request Author Associations
- Collaborator (59, 96.72%)
- None (1, 1.64%)
- Contributor (1, 1.64%)
Top Issue Labels
- enhancement (9)
- prio:high (7)
- bug (4)
- kind: upstream tracker (1)
- question (1)
- kind: meta (1)
- feature-request (1)
- document symbols (1)
Top Pull Request Labels
- needs: full CI (1)