GitHub / Janno issue stats
Total issues: 52
Total pull requests: 45
Merged pull request: 30
Average time to close issues: 4 months
Average time to close pull requests: about 2 months
Average comments per issue: 2.69
Average comments per pull request: 5.96
Issues created
- coq/coq: 10
- Mtac2/Mtac2: 7
- skyskimmer/coq-ltac2-compiler: 5
- rocq-prover/rocq: 3
- ocaml/dune: 3
- LPCIC/coq-elpi: 3
- rocq-community/coq-ext-lib: 2
- mr-glt/sx127x_lora: 1
- lehmannro/pyhkal2: 1
- rocq-prover/stdlib: 1
- Z3Prover/z3: 1
- FloppyDisck/SHT31-rs: 1
- dandavison/delta: 1
- bedrocksystems/coq-lens: 1
- docopt/docopt.rs: 1
- jasongross/coq-tools: 1
- MetaCoq/metacoq: 1
- microsoft/vscode: 1
- mcginty/shoop: 1
- ocaml/opam: 1
- alexcrichton/coz-rs: 1
- opatut/dudel: 1
- ocaml/ocaml: 1
- math-comp/hierarchy-builder: 1
- plippe/rust-set-game: 1
- crepererum/rdxsort-rs: 1
Pull requests created
- Mtac2/Mtac2: 23
- coq/coq: 14
- LPCIC/coq-elpi: 3
- logsem/iris-project: 1
- dpc/rclist-rs: 1
- coq/rfcs: 1
- mr-glt/sx127x_lora: 1
- bedrocksystems/coq-lens: 1
Maintainer
- Mtac2/Mtac2: 30
Active Maintainer
Issue Author Associations
- None (28, 53.85%)
- Contributor (17, 32.69%)
- Collaborator (7, 13.46%)
Pull Request Author Associations
- Collaborator (23, 51.11%)
- Contributor (17, 37.78%)
- None (5, 11.11%)
Top Issue Labels
- kind: bug (11)
- bug (5)
- needs: triage (5)
- part: primitive types (2)
- part: notations (2)
- Stale (1)
- part: VM (1)
- acknowledged (1)
- part: coqdep (1)
- kind: regression (1)
- part: unification (1)
- resolved: duplicate(d) (1)
- merge-editor (1)
- part: congruence (1)
- part: tactics (1)
Top Pull Request Labels
- kind: fix (6)
- needs: full CI (6)
- backport master-8.13 (2)
- needs: rebase (2)
- kind: infrastructure (1)
- part: bench (1)
- kind: performance (1)
- kind: enhancement (1)
- part: coqdep (1)
- needs: benchmarking (1)
- part: unification (1)
- needs: changelog entry (1)
- part: primitive types (1)