Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / BoltonBailey issue stats
Total issues: 24
Total pull requests: 23
Merged pull request: 15
Average time to close issues: 8 months
Average time to close pull requests: 18 days
Average comments per issue: 1.13
Average comments per pull request: 0.43
Issues created
- leanprover/vscode-lean: 4
- git-quick-stats/git-quick-stats: 2
- leanprover/doc-gen4: 2
- leanprover-community/mathlib4: 2
- leanprover/theorem_proving_in_lean4: 2
- mjbvz/vscode-github-markdown-preview-style: 2
- leanprover-community/doc-gen: 2
- princeton-vl/coqgym: 1
- cvxpy/cvxpy: 1
- johnhw/pfilter: 1
- arzzen/git-quick-stats: 1
- cpitclaudel/alectryon: 1
- sumnow/markdown-formatter: 1
- leanprover-community/mathlib-tools: 1
- ingonyama-zk/papers: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (22, 91.67%)
- Collaborator (2, 8.33%)
Pull Request Author Associations
- Contributor (21, 91.30%)
- None (1, 4.35%)
- Collaborator (1, 4.35%)
Top Issue Labels
Top Pull Request Labels
- WIP (1)
- merge-conflict (1)
- awaiting-author (1)
- toolchain-available (1)