Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover-contrib issue stats
Total issues: 10
Total pull requests: 4
Merged pull request: 4
Average time to close issues: 3 days
Average time to close pull requests: 2 days
Average comments per issue: 0.2
Average comments per pull request: 1.25
Issues created
Pull requests created
Issue owner Associations
- Contributor (5, 50.00%)
- None (5, 50.00%)
Pull Request owner Associations
- Contributor (4, 100.00%)
All Maintainers
Active Maintainers
Top Issue Authors
- gebner (4)
- robertylewis (3)
- alexjbest (1)
- bryangingechen (1)
- Julian (1)