Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / idris-maps issue stats
Total issues: 6
Total pull requests: 26
Merged pull request: 25
Average time to close issues: 3 months
Average time to close pull requests: about 2 hours
Average comments per issue: 3.17
Average comments per pull request: 0.0
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 66.67%)
- Owner (2, 33.33%)
Pull Request Author Associations
- Owner (24, 92.31%)
- Contributor (2, 7.69%)