Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ezaffanella issue stats
Total issues: 5
Total pull requests: 9
Merged pull request: 6
Average time to close issues: about 2 months
Average time to close pull requests: about 2 months
Average comments per issue: 2.0
Average comments per pull request: 0.56
Issues created
Pull requests created
- antoinemine/apron: 6
- seahorn/clam: 2
- seahorn/crab: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (5, 100.00%)
Pull Request Author Associations
- Contributor (7, 77.78%)
- None (2, 22.22%)