GitHub / leanprover issue stats
Total issues: 96
Total pull requests: 135
Merged pull request: 94
Average time to close issues: 3 months
Average time to close pull requests: 25 days
Average comments per issue: 1.86
Average comments per pull request: 1.11
Issues created
Pull requests created
Issue owner Associations
- None (67, 69.79%)
- Contributor (22, 22.92%)
- Member (7, 7.29%)
Pull Request owner Associations
- Contributor (94, 69.63%)
- Member (36, 26.67%)
- None (5, 3.70%)
Top Issue Authors
- lovettchris (9)
- semorrison (6)
- Kha (4)
- tribbloid (3)
- evan0greenup (2)
- gebner (2)
- glangmead (2)
- haraldschilly (2)
- iacore (2)
- mhuisi (1)
- MckinleyX (1)
- marianaalanis93 (1)
- ncihnegn (1)
- MaboroshiChan (1)
- nomeata (1)
Top Pull Request Authors
- dependabot[bot] 🤖 (35)
- Kha (28)
- Julian (11)
- lovettchris (8)
- gebner (8)
- semorrison (6)
- EdAyers (4)
- eric-wieser (4)
- mans0954 (3)
- khoek (3)
- Timmmm (2)
- chabulhwi (2)
- NicholasLYang (2)
- mkckr0 (1)
- mnixry (1)
Top Issue Labels
- enhancement (1)
Top Pull Request Labels
- dependencies (35)
- rust (1)