Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Alizter issue stats
Total issues: 83
Total pull requests: 120
Merged pull request: 66
Average time to close issues: 4 months
Average time to close pull requests: 15 days
Average comments per issue: 3.06
Average comments per pull request: 2.68
Issues created
- uptech/git-ps-rs: 31
- ejgallego/coq-lsp: 17
- ocaml/dune: 6
- coq/coq: 4
- ocaml/setup-ocaml: 3
- HoTT/Coq-HoTT: 2
- ocaml/ocaml-lsp: 2
- let-def/lwd: 2
- cli/cli: 2
- NixOS/nix: 1
- ocaml/opam: 1
- brunjlar/neural: 1
- alacritty/alacritty: 1
- aantron/bisect_ppx: 1
- nix-community/nix-init: 1
- ocaml/Zarith: 1
- github-linguist/linguist: 1
- emcrisostomo/fswatch: 1
- stedolan/malfunction: 1
- ocaml/infrastructure: 1
- coq-community/vscoq: 1
- mattam82/Coq-Equations: 1
- magit/magit: 1
Pull requests created
- ocaml/dune: 34
- ejgallego/coq-lsp: 25
- uptech/git-ps-rs: 23
- NixOS/nixpkgs: 6
- HoTT/Coq-HoTT: 5
- jwiegley/category-theory: 3
- coq-community/coq-dpdgraph: 3
- ocaml/merlin: 3
- coq/stdlib2: 2
- jasmin-lang/jasmin: 2
- coq-community/aac-tactics: 2
- pqwy/notty: 1
- uwplse/verdi: 1
- let-def/lwd: 1
- Mtac2/Mtac2: 1
- benchmark-action/github-action-benchmark: 1
- coq-community/bignums: 1
- coq-community/autosubst: 1
- mattam82/Coq-Equations: 1
- ocaml/opam-file-format: 1
- mit-plv/kami: 1
- dwarfmaster/commutative-diagrams: 1
- ocaml/dune-www: 1
Maintainer
- ejgallego/coq-lsp: 42
- ocaml/dune: 40
- uptech/git-ps-rs: 28
- HoTT/Coq-HoTT: 7
Active Maintainer
- uptech/git-ps-rs: 23
- HoTT/Coq-HoTT: 7
- ejgallego/coq-lsp: 6
- ocaml/dune: 3
Issue Author Associations
- Collaborator (46, 55.42%)
- Contributor (19, 22.89%)
- None (18, 21.69%)
Pull Request Author Associations
- Collaborator (71, 59.17%)
- Contributor (44, 36.67%)
- None (5, 4.17%)
Top Issue Labels
- kind: bug (7)
- bug (5)
- enhancement (4)
- coq (3)
- kind: enhancement (3)
- good first issue (3)
- part: rewrite rules (2)
- part: Coq API (2)
- part: protocol (LSP) (2)
- platform (2)
- core (2)
- needs-user-input (2)
- chore (2)
- feature request (2)
- part: flèche (1)
Top Pull Request Labels
- coq (5)
- 6.topic: ocaml (3)
- part: CI (3)
- part: build (2)
- 11.by: package-maintainer (2)
- 10.rebuild-darwin: 1-10 (2)
- 10.rebuild-linux: 1-10 (2)
- 10.rebuild-linux: 1 (1)
- 10.rebuild-darwin: 1 (1)
- 8.has: package (new) (1)
- part: documentation (1)
- part: test-suite (1)
- 12.approvals: 1 (1)
- 10.rebuild-linux: 0 (1)
- 10.rebuild-darwin: 0 (1)