Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Pireax issue stats
Total issues: 6
Total pull requests: 8
Merged pull request: 3
Average time to close issues: 3 days
Average time to close pull requests: about 1 year
Average comments per issue: 13.33
Average comments per pull request: 1.5
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 66.67%)
- Contributor (2, 33.33%)
Pull Request Author Associations
- None (5, 62.50%)
- Contributor (3, 37.50%)
Top Issue Labels
- help wanted (2)
- wontfix (2)
- kind: bug (1)
- part: verifier (1)
- part: boogie (1)
- priority: next (1)
- during 2: compilation of correct program (1)