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 14 hours ago
Total issues: 55
Total pull requests: 145
Average time to close issues: 4 months
Average time to close pull requests: 7 days
Total issue authors: 31
Total pull request authors: 26
Average comments per issue: 2.31
Average comments per pull request: 2.79
Merged pull requests: 56
Bot issues: 0
Bot pull requests: 0
Past year issues: 41
Past year pull requests: 55
Past year average time to close issues: 3 months
Past year average time to close pull requests: 16 days
Past year issue authors: 25
Past year pull request authors: 19
Past year average comments per issue: 2.2
Past year average comments per pull request: 3.33
Past year merged pull requests: 35
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Flean4
Issue Author Associations
- Contributor (25, 45.45%)
- None (13, 23.64%)
- Member (10, 18.18%)
- Collaborator (7, 12.73%)
Pull Request Author Associations
- Member (64, 44.14%)
- Contributor (53, 36.55%)
- Collaborator (24, 16.55%)
- None (4, 2.76%)
Top Issue Authors
- nomeata (6)
- kmill (5)
- leodemoura (4)
- TwoFX (3)
- Kha (3)
- dselsam (3)
- yurivict (2)
- BrunoDutertre (2)
- david-christiansen (2)
- robdockins (2)
- jcommelin (2)
- mhuisi (2)
- Julian (1)
- Landau1994 (1)
- pnwamk (1)
Top Pull Request Authors
- Kha (61)
- dselsam (22)
- semorrison (20)
- nomeata (4)
- cipher1024 (4)
- david-christiansen (4)
- kmill (4)
- hargoniX (3)
- tobiasgrosser (3)
- alexkeizer (2)
- eric-wieser (2)
- bollu (2)
- jcommelin (1)
- TehMillhouse (1)
- Parcly-Taxel (1)
All Maintainers
- Kha (64)
- semorrison (21)
- kmill (9)
- leodemoura (5)
- TwoFX (3)
- digama0 (1)
- gebner (1)
- Vtec234 (1)
Active Maintainers
- semorrison (21)
- kmill (9)
- Kha (3)
- TwoFX (3)
- leodemoura (2)
Top Issue Labels
- bug (31)
- P-medium (20)
- P-low (10)
- RFC (8)
- P-high (3)
- enhancement (2)
- awaiting-review (2)
- nice to have (1)
- Lake (1)
- new-user-papercuts (1)
- depends on new code generator (1)
- RFC accepted (1)
- feature (1)
Top Pull Request Labels
- toolchain-available (54)
- builds-mathlib (19)
- breaks-mathlib (7)
- awaiting-review (5)
- P-medium (5)
- P-high (3)
- awaiting-mathlib (3)
- awaiting-author (2)
- P-low (1)
- changes-stage0 (1)