Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover-community issue stats
Total issues: 21
Total pull requests: 104
Merged pull request: 71
Average time to close issues: over 1 year
Average time to close pull requests: 2 months
Average comments per issue: 3.14
Average comments per pull request: 2.21
Issues created
Pull requests created
Issue owner Associations
- None (9, 42.86%)
- Member (6, 28.57%)
- Contributor (5, 23.81%)
- Collaborator (1, 4.76%)
Pull Request owner Associations
- Contributor (47, 45.19%)
- Member (28, 26.92%)
- Collaborator (21, 20.19%)
- None (8, 7.69%)
All Maintainers
- semorrison (20)
- eric-wieser (17)
- alexjbest (4)
- gebner (4)
- bryangingechen (2)
- fpvandoorn (2)
- jcommelin (2)
- kbuzzard (2)
- EdAyers (1)
- PatrickMassot (1)
- robertylewis (1)
Active Maintainers
- bryangingechen (2)
Top Issue Authors
- jcommelin (2)
- kbuzzard (2)
- xgqt (1)
- Vierkantor (1)
- semorrison (1)
- pechersky (1)
- mattearnshaw (1)
- mateoatr (1)
- mans0954 (1)
- kevinsullivan (1)
- juliangilbey (1)
- Julian (1)
- joshgoebel (1)
- JLimperg (1)
- gebner (1)
Top Pull Request Authors
- semorrison (19)
- eric-wieser (17)
- dependabot[bot] 🤖 (16)
- Julian (12)
- pechersky (11)
- alexjbest (4)
- bryangingechen (3)
- gebner (3)
- fpvandoorn (2)
- joneugster (2)
- Smaug123 (1)
- TrellixVulnTeam (1)
- Vierkantor (1)
- robertylewis (1)
- xgqt (1)
Top Issue Labels
- enhancement (1)
Top Pull Request Labels
- dependencies (16)
- enhancement (2)
- WIP (1)