Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / linusheck issue stats
Total issues: 5
Total pull requests: 1
Merged pull request: 1
Average time to close issues: about 4 hours
Average time to close pull requests: about 5 hours
Average comments per issue: 2.4
Average comments per pull request: 0.0
Issues created
Pull requests created
- Z3Prover/z3: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (3, 60.00%)
- Contributor (2, 40.00%)
Pull Request Author Associations
- Contributor (1, 100.00%)
Top Issue Labels
- enhancement (1)