GitHub / leanprover / lean4 issue stats
Last synced: about 5 hours ago
Total issues: 418
Total pull requests: 1,520
Average time to close issues: 6 months
Average time to close pull requests: 8 days
Total issue authors: 150
Total pull request authors: 95
Average comments per issue: 2.11
Average comments per pull request: 2.24
Merged pull requests: 951
Bot issues: 0
Bot pull requests: 19
Past year issues: 308
Past year pull requests: 1,351
Past year average time to close issues: about 1 month
Past year average time to close pull requests: 3 days
Past year issue authors: 118
Past year pull request authors: 78
Past year average comments per issue: 1.55
Past year average comments per pull request: 2.11
Past year merged pull requests: 921
Past year bot issues: 0
Past year bot pull requests: 19
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4
Issue Author Associations
- Contributor (193, 46.17%)
- None (105, 25.12%)
- Collaborator (61, 14.59%)
- Member (59, 14.11%)
Pull Request Author Associations
- Contributor (575, 37.83%)
- Member (471, 30.99%)
- Collaborator (444, 29.21%)
- None (30, 1.97%)
Top Issue Authors
Top Pull Request Authors
- Kha (214)
- kim-em (207)
- leodemoura (137)
- zwarich (125)
- kmill (78)
- tydeu (73)
- nomeata (66)
- hargoniX (61)
- datokrat (57)
- Rob23oba (38)
- TwoFX (34)
- bollu (27)
- eric-wieser (27)
- luisacicolini (25)
- dselsam (22)
All Maintainers
- Kha (225)
- kim-em (217)
- leodemoura (143)
- kmill (91)
- nomeata (82)
- tydeu (77)
- zwarich (72)
- TwoFX (61)
- digama0 (24)
- semorrison (19)
- gebner (13)
- algebraic-dev (6)
- Vtec234 (5)
Active Maintainers
- kim-em (207)
- Kha (147)
- leodemoura (138)
- kmill (85)
- nomeata (80)
- zwarich (72)
- tydeu (67)
- TwoFX (58)
- semorrison (18)
- algebraic-dev (6)
- digama0 (3)
- Vtec234 (2)
Top Issue Labels
- bug (276)
- P-medium (100)
- RFC (62)
- P-low (58)
- Lake (34)
- fixed by new code generator (26)
- P-high (23)
- enhancement (10)
- RFC accepted (4)
- depends on new code generator (4)
- new-user-papercuts (3)
- feature (3)
- low priority (3)
- awaiting-review (2)
- nice to have (2)
- WIP (1)
- server (1)
- error message (1)
- help wanted (1)
- Mathlib4 high prio (1)
- closing soon (1)
Top Pull Request Labels
- toolchain-available (1,297)
- builds-mathlib (363)
- changelog-language (297)
- changelog-library (241)
- changelog-no (110)
- breaks-mathlib (79)
- changelog-compiler (58)
- release-ci (58)
- awaiting-review (44)
- changelog-lake (40)
- awaiting-author (32)
- P-medium (25)
- will-merge-soon (22)
- changelog-server (19)
- force-mathlib-ci (17)
- merge-ci (17)
- changelog-doc (16)
- changelog-other (14)
- changes-stage0 (13)
- changelog-pp (12)
- WIP (10)
- backport releases/v4.20.0 (9)
- P-low (9)
- awaiting-mathlib (7)
- dependencies (6)
- P-high (4)
- low priority (4)
- needs-update-stage0 (4)
- grove (3)
- github_actions (3)