Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gernst issue stats
Total issues: 5
Total pull requests: 3
Merged pull request: 3
Average time to close issues: 7 days
Average time to close pull requests: 5 days
Average comments per issue: 0.8
Average comments per pull request: 0.33
Issues created
- Z3Prover/z3: 3
- antoinemine/apron: 2
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (5, 100.00%)
Pull Request Author Associations
- Contributor (2, 66.67%)
- None (1, 33.33%)
Top Issue Labels
Top Pull Request Labels
- tool support (2)