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

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)