GitHub / kevinsullivan issue stats
Total issues: 27
Total pull requests: 1
Merged pull request: 0
Average time to close issues: 5 months
Average time to close pull requests: 3 months
Average comments per issue: 2.48
Average comments per pull request: 1.0
Issues created
- leanprover/vscode-lean: 5
- leanprover/lean3: 5
- bradyvercher/gistpress: 2
- jupyter/jupyter-drive: 2
- leanprover/vscode-lean4: 2
- jkitchin/org-ref: 1
- docker/dev-environments: 1
- trepan-debuggers/python3-trepan: 1
- github/vscode-github-actions: 1
- leanprover-community/mathlib-tools: 1
- lukexi/halive: 1
- leanprover/theorem_proving_in_lean: 1
- ryaninvents/github-issues: 1
- leanprover/mkleanbook: 1
- leanprover/logic_and_proof_lean3: 1
- andreas/ocaml-graphql-server: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (27, 100.00%)
Pull Request Author Associations
- None (1, 100.00%)
Top Issue Labels
- bug (3)
- Status: Reporter Feedback Needed (1)