Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / LasseBlaauwbroek issue stats
Total issues: 60
Total pull requests: 53
Merged pull request: 42
Average time to close issues: 7 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.33
Average comments per pull request: 2.43
Issues created
Pull requests created
- capnproto/pycapnp: 21
- coq-tactician/coq-tactician-api: 14
- coq-tactician/coq-tactician: 5
- lukaszcz/coqhammer: 2
- coq/coq: 2
- coq-community/docker-coq-action: 2
- coq/opam: 1
- QuickChick/QuickChick: 1
- coq-community/coq-dpdgraph: 1
- jscoq/jscoq: 1
- ejgallego/coq-serapi: 1
- pages-themes/slate: 1
- mirage/capnp-rpc: 1
Maintainer
Active Maintainer
- coq-tactician/coq-tactician: 2
- coq/coq: 1
- coq/opam: 1
Issue Author Associations
- Member (49, 81.67%)
- Contributor (6, 10.00%)
- None (5, 8.33%)
Pull Request Author Associations
- Contributor (25, 47.17%)
- Member (22, 41.51%)
- None (6, 11.32%)
Top Issue Labels
- next-release (21)
- model-idea (3)
- part: documentation (2)
- platform: windows (2)
- AREA: DOCUMENTATION (1)
- AREA: UI (1)
- bug (1)
- part: CoqIDE (1)
- kind: anomaly (1)
- kind: bug (1)
- needs: triage (1)
Top Pull Request Labels
- needs: full CI (1)
- needs: rework (1)
- enhancement (1)
- wontfix (1)
- upstream (1)
- kind: fix (1)
- kind: upstream (1)