Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / b1quint issue stats
Total issues: 8
Total pull requests: 3
Merged pull request: 3
Average time to close issues: almost 2 years
Average time to close pull requests: 1 day
Average comments per issue: 1.63
Average comments per pull request: 0.67
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Member (7, 87.50%)
- None (1, 12.50%)
Pull Request Author Associations
- Member (2, 66.67%)
- None (1, 33.33%)
Top Issue Labels
- enhancement (5)
- high priority (1)
- help wanted (1)