Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / kfriedberger issue stats
Total issues: 80
Total pull requests: 70
Merged pull request: 66
Average time to close issues: 11 months
Average time to close pull requests: 22 days
Average comments per issue: 3.31
Average comments per pull request: 1.69
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (68, 85.00%)
- Contributor (9, 11.25%)
- None (3, 3.75%)
Pull Request Author Associations
- Member (68, 97.14%)
- None (1, 1.43%)
- Contributor (1, 1.43%)
Top Issue Labels
- solver (30)
- bug (27)
- enhancement (24)
- Princess (9)
- help wanted (7)
- MathSAT (6)
- Maven (5)
- Blocked by Solver Support (4)
- wontfix (4)
- Documentation (3)
- package configuration (3)
- package collect (2)
- non-breaking change (2)
- Z3 (1)
- API (1)
Top Pull Request Labels
- Maven (5)
- Z3 (3)
- enhancement (2)
- solver (2)
- issue with benchmark (2)
- C (2)