Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover issue stats
Total issues: 77
Total pull requests: 117
Merged pull request: 78
Average time to close issues: 3 months
Average time to close pull requests: 28 days
Average comments per issue: 1.96
Average comments per pull request: 1.21
Issues created
Pull requests created
Issue owner Associations
- None (51, 66.23%)
- Contributor (21, 27.27%)
- Member (5, 6.49%)
Pull Request owner Associations
- Contributor (88, 75.21%)
- Member (26, 22.22%)
- None (3, 2.56%)
Top Issue Authors
- lovettchris (9)
- semorrison (6)
- Kha (3)
- glangmead (3)
- iacore (2)
- haraldschilly (2)
- gebner (2)
- lockywolf (1)
- luiz00martins (1)
- luxbock (1)
- MaboroshiChan (1)
- marianaalanis93 (1)
- MckinleyX (1)
- ncihnegn (1)
- nomeata (1)
Top Pull Request Authors
- dependabot[bot] 🤖 (36)
- Kha (18)
- Julian (11)
- lovettchris (8)
- gebner (8)
- semorrison (7)
- EdAyers (5)
- eric-wieser (3)
- khoek (3)
- chabulhwi (2)
- NicholasLYang (2)
- mkckr0 (1)
- Mortein (1)
- rami3l (1)
- Ruben-VandeVelde (1)
Top Issue Labels
Top Pull Request Labels
- dependencies (36)