Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover / lean4 issue stats
Last synced: about 1 month ago
Total issues: 100
Total pull requests: 354
Average time to close issues: 6 months
Average time to close pull requests: 9 days
Total issue authors: 46
Total pull request authors: 50
Average comments per issue: 2.23
Average comments per pull request: 2.68
Merged pull requests: 158
Bot issues: 0
Bot pull requests: 1
Past year issues: 79
Past year pull requests: 243
Past year average time to close issues: 2 months
Past year average time to close pull requests: 12 days
Past year issue authors: 36
Past year pull request authors: 40
Past year average comments per issue: 2.2
Past year average comments per pull request: 2.66
Past year merged pull requests: 137
Past year bot issues: 0
Past year bot pull requests: 1
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4
Issue Author Associations
- Contributor (51, 51.00%)
- None (18, 18.00%)
- Member (17, 17.00%)
- Collaborator (14, 14.00%)
Pull Request Author Associations
- Contributor (140, 39.55%)
- Collaborator (107, 30.23%)
- Member (99, 27.97%)
- None (8, 2.26%)
Top Issue Authors
- nomeata (13)
- kmill (9)
- leodemoura (5)
- TwoFX (5)
- alexkeizer (4)
- Kha (3)
- JLimperg (3)
- david-christiansen (3)
- dselsam (3)
- eric-wieser (3)
- hargoniX (3)
- kim-em (2)
- Julian (2)
- jcommelin (2)
- mhuisi (2)
Top Pull Request Authors
- Kha (77)
- kim-em (45)
- kmill (31)
- dselsam (22)
- semorrison (18)
- euprunin (13)
- tobiasgrosser (13)
- digama0 (13)
- tydeu (13)
- hargoniX (11)
- nomeata (11)
- bollu (9)
- eric-wieser (6)
- mhuisi (5)
- gebner (5)
All Maintainers
- Kha (80)
- kim-em (47)
- kmill (40)
- semorrison (19)
- digama0 (15)
- tydeu (14)
- leodemoura (8)
- gebner (6)
- TwoFX (5)
- Vtec234 (3)
Active Maintainers
- kim-em (47)
- kmill (40)
- semorrison (19)
- Kha (17)
- tydeu (13)
- leodemoura (5)
- TwoFX (5)
- digama0 (4)
Top Issue Labels
- bug (63)
- P-medium (23)
- RFC (13)
- P-low (12)
- P-high (4)
- Lake (3)
- feature (3)
- enhancement (2)
- new-user-papercuts (2)
- awaiting-review (2)
- nice to have (1)
- depends on new code generator (1)
- RFC accepted (1)
- WIP (1)
- low priority (1)
- server (1)
Top Pull Request Labels
- toolchain-available (235)
- builds-mathlib (82)
- breaks-mathlib (25)
- awaiting-author (21)
- awaiting-review (14)
- release-ci (12)
- WIP (8)
- P-medium (7)
- P-high (4)
- low priority (3)
- merge-ci (3)
- dev meeting (3)
- backport releases/v4.13.0 (2)
- will-merge-soon (2)
- changes-stage0 (2)
- backport releases/v4.12.0 (2)
- missing RFC (1)
- help wanted (1)
- needs-update-stage0 (1)
- awaiting-mathlib (1)
- P-low (1)