GitHub / Alizter issue stats
Total issues: 130
Total pull requests: 275
Merged pull request: 188
Average time to close issues: 7 months
Average time to close pull requests: 12 days
Average comments per issue: 3.22
Average comments per pull request: 2.5
Issues created
- uptech/git-ps-rs: 31
- ejgallego/coq-lsp: 25
- HoTT/Coq-HoTT: 13
- ocaml/dune: 12
- coq/coq: 7
- jmid/mutaml: 3
- ocaml/setup-ocaml: 3
- dbuenzli/cmdliner: 3
- let-def/lwd: 2
- ocaml/ocaml-lsp: 2
- rocq-prover/platform: 1
- brunjlar/neural: 1
- coq-community/docker-base: 1
- janestreet/ppx_expect: 1
- coq-community/vscoq: 1
- emcrisostomo/fswatch: 1
- github-linguist/linguist: 1
- aantron/bisect_ppx: 1
- janestreet/hardcaml: 1
- mattam82/Coq-Equations: 1
- jetbrains-research/coqpilot: 1
- NixOS/nix: 1
- nix-community/nix-init: 1
- textmate/ocaml.tmbundle: 1
- jasongross/coq-tools: 1
- liyishuai/coq-json: 1
- zulip/zulip-desktop: 1
- coq-community/coqffi: 1
- ocaml/infrastructure: 1
- cli/cli: 1
- 3-manifolds/SnapPy: 1
- microsoft/vscode: 1
- stedolan/malfunction: 1
- magit/magit: 1
- leanprover/lean2: 1
- ocaml-dune/fiber: 1
- ocaml/Zarith: 1
- ocaml/opam: 1
- alacritty/alacritty: 1
Pull requests created
- HoTT/Coq-HoTT: 95
- ocaml/dune: 65
- ejgallego/coq-lsp: 25
- uptech/git-ps-rs: 23
- ocaml-dune/pp: 11
- NixOS/nixpkgs: 6
- jmid/mutaml: 4
- ocaml-dune/fiber: 3
- jwiegley/category-theory: 3
- ocaml/merlin: 3
- rocq-community/coq-nix-toolbox: 3
- rgrinberg/lev: 2
- rocq-community/coq-dpdgraph: 2
- astrada/gapi-ocaml: 2
- mit-plv/coqutil: 1
- tchajed/coq-classes: 1
- let-def/lwd: 1
- rocq-community/bignums: 1
- hott/epit-2020: 1
- benchmark-action/github-action-benchmark: 1
- rocq-community/autosubst: 1
- fblanqui/color: 1
- ocaml/opam-file-format: 1
- jasmin-lang/jasmin: 1
- mit-plv/kami: 1
- pqwy/notty: 1
- dwarfmaster/commutative-diagrams: 1
- uwplse/structtact: 1
- math-comp/multinomials: 1
- coq/stdlib2: 1
- ocaml-dune/dune-bench: 1
- mit-plv/riscv-coq: 1
- uwplse/verdi: 1
- Mtac2/Mtac2: 1
- mit-plv/rewriter: 1
- distributedcomponents/infseqext: 1
- mattam82/Coq-Equations: 1
- mit-pdos/argosy: 1
- rocq-community/aac-tactics: 1
- coq/opam: 1
- ocaml/dune-www: 1
- uwplse/cheerios: 1
Maintainer
- HoTT/Coq-HoTT: 108
- ocaml/dune: 77
- ejgallego/coq-lsp: 50
- uptech/git-ps-rs: 28
Active Maintainer
- HoTT/Coq-HoTT: 98
- ocaml/dune: 30
- ejgallego/coq-lsp: 11
Issue Author Associations
- Collaborator (71, 54.62%)
- None (32, 24.62%)
- Contributor (27, 20.77%)
Pull Request Author Associations
- Collaborator (192, 69.82%)
- Contributor (74, 26.91%)
- None (9, 3.27%)
Top Issue Labels
- kind: bug (13)
- bug (9)
- enhancement (6)
- kind: enhancement (5)
- good first issue (5)
- package management (4)
- algebra (4)
- chore (3)
- feature-request (3)
- coq (3)
- forwarded-to-js-devs (2)
- question (2)
- kind: performance (2)
- kind: design discussion (2)
- discussion (2)
Top Pull Request Labels
- coq (7)
- 6.topic: ocaml (3)
- part: CI (3)
- part: build (2)
- 11.by: package-maintainer (2)
- 10.rebuild-darwin: 1-10 (2)
- needs: rebase (2)
- package management (2)
- cleanup (2)
- 10.rebuild-linux: 1-10 (2)
- part: test-suite (1)
- part: documentation (1)
- 8.has: package (new) (1)
- 10.rebuild-darwin: 1 (1)
- 10.rebuild-linux: 1 (1)