GitHub / semorrison issue stats
Total issues: 36
Total pull requests: 86
Merged pull request: 48
Average time to close issues: about 2 months
Average time to close pull requests: 14 days
Average comments per issue: 1.81
Average comments per pull request: 1.94
Issues created
Pull requests created
- leanprover-community/mathlib4: 24
- leanprover-community/mathlib-tools: 19
- leanprover/lean4: 18
- leanprover-community/mathlib: 10
- leanprover/elan: 5
- leanprover/lean3: 4
- kanzure/pdfparanoia: 1
- leanprover/lean-client-js: 1
- leanprover-community/doc-gen: 1
- leanprover/vscode-lean4: 1
- Homebrew/homebrew-core: 1
- mholling/nswtopo: 1
Maintainer
Active Maintainer
- leanprover/lean4: 18
Issue Author Associations
- Contributor (19, 52.78%)
- None (15, 41.67%)
- Collaborator (2, 5.56%)
Pull Request Author Associations
- Collaborator (47, 54.65%)
- Contributor (38, 44.19%)
- None (1, 1.16%)
Top Issue Labels
- bug (2)
- P-low (2)
- enhancement (1)
- RFC (1)
- A-smt (1)
Top Pull Request Labels
- toolchain-available (17)
- awaiting-review (11)
- builds-mathlib (4)
- enhancement (1)
- formula disabled (1)
- autosquash (1)
- merge-conflict (1)
- ready-to-merge (1)
- easy (1)
- delegated (1)
- t-meta (1)
- maintainer-merge (1)
- breaks-mathlib (1)
- awaiting-mathlib (1)