GitHub / LasseBlaauwbroek issue stats
Total issues: 70
Total pull requests: 58
Merged pull request: 45
Average time to close issues: 6 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.67
Average comments per pull request: 2.81
Issues created
- coq-tactician/coq-tactician: 44
- capnproto/pycapnp: 4
- coq-community/docker-coq: 3
- coq-tactician/coq-tactician-api: 2
- coq-tactician/benchmark-system: 2
- jscoq/jscoq: 2
- mirage/capnp-rpc: 1
- sanic-org/sanic: 1
- jax-ml/jax: 1
- numpy/numpy: 1
- coq-tactician/coq-tactician-stdlib: 1
- coq/platform: 1
- janestreet/rpc_parallel: 1
- capnproto/capnp-ocaml: 1
- janestreet/async_unix: 1
- ocaml/opam: 1
- coq/coq: 1
- ocaml/ocaml: 1
- graphile-contrib/pg-non-null: 1
Pull requests created
- capnproto/pycapnp: 21
- coq-tactician/coq-tactician-api: 14
- coq-tactician/coq-tactician: 5
- 314eter/ocaml-xxhash: 2
- coq-community/docker-coq-action: 2
- coq/coq: 2
- mirage/capnp-rpc: 1
- coq/platform: 1
- plclub/hs-to-coq: 1
- pages-themes/slate: 1
- jscoq/jscoq: 1
- rocq-archive/coq-serapi: 1
- QuickChick/QuickChick: 1
- lukaszcz/coqhammer: 1
- coq-community/docker-base: 1
- rocq-community/coq-dpdgraph: 1
- coq-community/apery: 1
- coq/opam: 1
Maintainer
Active Maintainer
- coq/coq: 1
Issue Author Associations
- Member (51, 72.86%)
- None (13, 18.57%)
- Contributor (6, 8.57%)
Pull Request Author Associations
- Contributor (27, 46.55%)
- Member (23, 39.66%)
- None (8, 13.79%)
Top Issue Labels
- next-release (22)
- model-idea (3)
- bug (2)
- release (2)
- forwarded-to-js-devs (2)
- 00 - Bug (1)
- pallas (1)
- question (1)
- enhancement (1)
- platform: windows (1)
- part: documentation (1)
- needs: triage (1)
- kind: bug (1)
- kind: anomaly (1)
- part: CoqIDE (1)
Top Pull Request Labels
- needs: full CI (1)
- needs: rework (1)
- enhancement (1)
- wontfix (1)
- upstream (1)
- kind: fix (1)
- kind: upstream (1)