Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leoprover issue stats
Total issues: 3
Total pull requests: 7
Merged pull request: 6
Average time to close issues: 26 days
Average time to close pull requests: 3 days
Average comments per issue: 1.33
Average comments per pull request: 2.71
Issues created
Pull requests created
Issue owner Associations
- Contributor (3, 100.00%)
Pull Request owner Associations
- Contributor (4, 57.14%)
- Member (2, 28.57%)
- None (1, 14.29%)
All Maintainers
- lex-lex (2)