GitHub / mattam82 issue stats
Total issues: 43
Total pull requests: 252
Merged pull request: 205
Average time to close issues: about 1 month
Average time to close pull requests: about 1 month
Average comments per issue: 3.77
Average comments per pull request: 1.47
Issues created
- CertiCoq/certicoq: 9
- MetaRocq/metarocq: 4
- mit-pdos/perennial: 4
- coq/vscoq: 3
- rocq-prover/stdlib: 2
- aa755/squiggleeq: 2
- coq/rocq-prover.org: 2
- gares/opam-coq-shell: 2
- stedolan/malfunction: 2
- coq/coq: 2
- coq-community/docker-coq: 1
- jasongross/slow-coq-examples: 1
- rocq-prover/rocq-prover.org: 1
- ocaml/dune: 1
- ocaml/opam: 1
- coq/opam: 1
- skeuchel/needle: 1
- ocaml/ocaml.org: 1
- coq/ltac2: 1
- mattam82/Coq-Equations: 1
- cpitclaudel/alectryon: 1
Pull requests created
- CertiCoq/certicoq: 39
- MetaCoq/metacoq: 35
- rocq-prover/rocq-prover.org: 34
- metarocq/rocq-verified-extraction: 19
- mattam82/Coq-Equations: 18
- coq/coq: 16
- rocq-prover/opam: 10
- coq/opam: 10
- MetaRocq/metarocq: 9
- rocq-prover/coq.github.io: 7
- rocq-prover/stdlib: 6
- ocaml/opam-repository: 6
- rocq-prover/rocq: 4
- mit-plv/fiat: 4
- mit-pdos/perennial: 3
- coq/repo-unstable-disabled: 3
- aa755/squiggleeq: 2
- fblanqui/color: 2
- stedolan/malfunction: 2
- ppedrot/coq-forcing: 2
- coq/repo-stable-disabled: 2
- rocq-community/math-classes: 2
- yforster/dockercoq: 1
- coq/repo-coqs-disabled: 1
- rocq-community/paramcoq: 1
- coq/platform: 1
- rocq-community/aac-tactics: 1
- cpitclaudel/alectryon: 1
- hott/epit-2020: 1
- coq/vscoq: 1
- rocq-community/coq-ext-lib: 1
- uds-psl/metacoq_plugins: 1
- coq/rfcs: 1
- bokuweb/vscode-git-grep: 1
- mit-plv/rewriter: 1
- LPCIC/coq-elpi: 1
- mit-plv/kami: 1
- mit-plv/bedrock2: 1
- QuickChick/QuickChick: 1
Maintainer
- CertiCoq/certicoq: 48
- MetaCoq/metacoq: 35
- rocq-prover/rocq-prover.org: 35
- metarocq/rocq-verified-extraction: 19
- mattam82/Coq-Equations: 19
- coq/coq: 18
- MetaRocq/metarocq: 13
- coq/opam: 11
- rocq-prover/opam: 10
- rocq-prover/stdlib: 8
- rocq-prover/coq.github.io: 7
- coq/vscoq: 4
- rocq-prover/rocq: 4
- aa755/squiggleeq: 4
- coq/repo-unstable-disabled: 3
Active Maintainer
Issue Author Associations
- Member (16, 37.21%)
- Collaborator (13, 30.23%)
- None (9, 20.93%)
- Contributor (4, 9.30%)
- Owner (1, 2.33%)
Pull Request Author Associations
- Member (160, 63.49%)
- Collaborator (42, 16.67%)
- Contributor (27, 10.71%)
- Owner (18, 7.14%)
- None (5, 1.98%)
Top Issue Labels
- bug (2)
- enhancement (2)
- packages (1)
- part: core library (1)
- good first issue (1)
- coq (1)
- AREA: DOCUMENTATION (1)
Top Pull Request Labels
- needs: full CI (7)
- needs: rebase (5)
- stale (5)
- kind: documentation (4)
- kind: fix (3)
- kind: feature (2)
- consider for merge (2)
- needs: progress (1)
- needs: documentation (1)
- needs: changelog entry (1)
- part: hints (1)
- needs: fixing (1)
- kind: user messages (1)
- kind: infrastructure (1)
- part: tools (1)