GitHub / fpvandoorn issue stats
Total issues: 52
Total pull requests: 56
Merged pull request: 45
Average time to close issues: 3 months
Average time to close pull requests: 5 days
Average comments per issue: 1.85
Average comments per pull request: 0.8
Issues created
- gebner/hott3: 7
- leanprover/lean4: 6
- leanprover/tutorial: 5
- leanprover/vscode-lean4: 5
- leanprover/vscode-lean: 4
- plastex/plastex: 4
- cangiuli/hanabi: 3
- leanprover-community/doc-gen: 2
- leanprover/lean2: 2
- nomeata/loogle: 2
- leanprover/doc-gen4: 2
- fpvandoorn/carleson: 2
- Hanabi-Live/hanabi-live: 2
- jldodds/coq-lean-cheatsheet: 1
- leanprover/lean3: 1
- seripap/vscode-memory: 1
- leanprover-community/mathlib4: 1
- arthurpaulino/chrome-lean-unicode: 1
- leanprover/leanprover.github.io: 1
Pull requests created
- fpvandoorn/carleson: 33
- leanprover/tutorial: 7
- leanprover/leanprover.github.io: 3
- leanprover/vscode-lean: 2
- leanprover-community/mathlib-tools: 2
- cangiuli/hanabi: 2
- fpvandoorn/bonnanalysis: 2
- mortberg/cubicaltt: 1
- arthurpaulino/chrome-lean-unicode: 1
- jldodds/coq-lean-cheatsheet: 1
- leanprover-community/mathlib4: 1
- gebner/hott3: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (25, 48.08%)
- None (12, 23.08%)
- Collaborator (10, 19.23%)
- Member (3, 5.77%)
- Owner (2, 3.85%)
Pull Request Author Associations
- Owner (35, 62.50%)
- Contributor (13, 23.21%)
- Member (3, 5.36%)
- Collaborator (3, 5.36%)
- None (2, 3.57%)
Top Issue Labels
- bug (7)
- RFC (5)
- P-high (2)
- enhancement (1)
- Lake (1)
- P-medium (1)
- new-user-papercuts (1)
- Mathlib4 high prio (1)
Top Pull Request Labels
- awaiting-review (1)