Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / patrick-nicodemus issue stats
Total issues: 60
Total pull requests: 16
Merged pull request: 9
Average time to close issues: about 1 month
Average time to close pull requests: 3 months
Average comments per issue: 1.72
Average comments per pull request: 1.56
Issues created
- diku-dk/futhark: 6
- zshipko/futhark-bindgen: 6
- PythonOT/POT: 4
- owlbarn/owl: 4
- semgrep/ocaml-tree-sitter-core: 3
- pveber/bistro: 3
- coq/coq: 3
- jwiegley/category-theory: 3
- hcarty/ocaml-plplot: 2
- koka-lang/koka: 2
- LPCIC/coq-elpi: 2
- nmwsharp/potpourri3d: 2
- ocaml/opam: 2
- haskell/ghcup-hs: 1
- python/cpython: 1
- owlbarn/owl-plplot: 1
- janestreet/pythonlib: 1
- lpcic/coq-elpi-lang: 1
- tree-sitter/tree-sitter: 1
- tizoc/ocaml-interop: 1
- scikit-image/scikit-image: 1
- pygments/pygments: 1
- AllenInstitute/AllenSDK: 1
- igraph/python-igraph: 1
- ejgallego/coq-lsp: 1
- akabe/ocaml-jupyter: 1
- thibsej/unbalanced_gromov_wasserstein: 1
- tox-dev/sphinx-autodoc-typehints: 1
- AllenInstitute/ipfx: 1
- cpitclaudel/alectryon: 1
- zshipko/ocaml-rs: 1
Pull requests created
- jwiegley/category-theory: 7
- owlbarn/owl: 2
- owlbarn/tutorial: 1
- zshipko/ocaml-rust-starter: 1
- pveber/bistro: 1
- LPCIC/coq-elpi: 1
- coq/coq: 1
- networkx/networkx: 1
- ocaml/merlin: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (53, 88.33%)
- Contributor (7, 11.67%)
Pull Request Author Associations
- Contributor (11, 68.75%)
- None (5, 31.25%)
Top Issue Labels
- enhancement (5)
- bug (5)
- kind: bug (3)
- needs: triage (3)
- AREA: UI (2)
- documentation (2)
- help wanted (2)
- topic-typing (1)
- easy (1)
- good-first-issue (1)
- docs (1)
- kind: wish (1)
- scope: documentation (1)
- part: coqdoc (1)
- stdlib (1)
Top Pull Request Labels
- type: Maintenance (1)
- part: ltac2 (1)
- needs: full CI (1)