Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / herbelin issue stats
Total issues: 26
Total pull requests: 272
Merged pull request: 117
Average time to close issues: over 2 years
Average time to close pull requests: 3 months
Average comments per issue: 5.92
Average comments per pull request: 5.95
Issues created
- coq/coq: 7
- coq/opam: 4
- camlp5/camlp5: 3
- coq-community/paramcoq: 2
- coq/rfcs: 2
- coq/stdlib2: 1
- math-comp/bigenough: 1
- coq-community/bertrand: 1
- coq-community/qarith-stern-brocot: 1
- jscoq/jscoq: 1
- coq/ceps: 1
- ProofGeneral/PG: 1
- vrahli/nuprlincoq: 1
Pull requests created
- coq/coq: 70
- coq/ceps: 40
- coq/rfcs: 40
- coq-community/paramcoq: 15
- mit-plv/fiat: 12
- LPCIC/coq-elpi: 11
- mattam82/Coq-Equations: 6
- coq/coq.github.io: 5
- coq/ltac2: 5
- mit-plv/rewriter: 5
- mit-plv/fiat-crypto: 4
- MetaCoq/metacoq: 4
- ejgallego/coq-serapi: 4
- coq-community/aac-tactics: 4
- coq/opam: 4
- uds-psl/autosubst-ocaml: 3
- rocq-archive/coq-serapi: 3
- tchajed/coq-record-update: 2
- QuickChick/QuickChick: 2
- coq-tactician/coq-tactician: 2
- artagnon/bonak: 2
- coq-community/fourcolor: 2
- ejgallego/coq-lsp: 2
- coq-community/bignums: 2
- Mtac2/Mtac2: 2
- mit-plv/riscv-coq: 2
- jwiegley/category-theory: 2
- coq/stdlib2: 2
- math-comp/odd-order: 2
- mit-pdos/perennial: 1
- coq-community/coq-dpdgraph: 1
- fblanqui/color: 1
- coq-tactician/coq-tactician.github.io: 1
- math-comp/math-comp: 1
- coq-community/autosubst: 1
- bmsherman/topology: 1
- coq-community/templates: 1
- coq-community/qarith-stern-brocot: 1
- uwplse/verdi-raft: 1
- coq/vscoq: 1
- coq-community/math-classes: 1
- garrigue/lablgtk: 1
Maintainer
- coq/coq: 77
- coq/rfcs: 42
- coq/ceps: 41
- coq/opam: 8
- coq/ltac2: 5
- coq/coq.github.io: 5
- ejgallego/coq-serapi: 4
- coq/stdlib2: 3
- rocq-archive/coq-serapi: 3
- coq-community/qarith-stern-brocot: 2
- artagnon/bonak: 2
- coq-community/bertrand: 1
- coq/vscoq: 1
Issue Author Associations
- Member (15, 57.69%)
- None (7, 26.92%)
- Contributor (2, 7.69%)
- Collaborator (2, 7.69%)
Pull Request Author Associations
- Member (167, 61.40%)
- Contributor (83, 30.51%)
- None (12, 4.41%)
- Collaborator (10, 3.68%)
Top Issue Labels
- kind: bug (3)
- part: modules (2)
- kind: anomaly (2)
- part: printer (2)
- part: reduction strategies (2)
- kind: meta (1)
- part: universes (1)
- needs: feedback (1)
- part: standard library (1)
- kind: question (1)
- part: derive (1)
- kind: wish (1)
- part: inversion tactics (1)
Top Pull Request Labels
- stale (28)
- needs: full CI (28)
- kind: fix (25)
- needs: rebase (23)
- kind: enhancement (22)
- kind: cleanup (14)
- part: notations (10)
- part: tactics (8)
- part: extraction (7)
- needs: merge of dependency (6)
- kind: upstream (6)
- part: standard library (6)
- needs: fixing (5)
- part: reduction strategies (5)
- part: gallina (4)