GitHub / robbertkrebbers issue stats
Total issues: 6
Total pull requests: 11
Merged pull request: 8
Average time to close issues: 12 minutes
Average time to close pull requests: about 14 hours
Average comments per issue: 2.17
Average comments per pull request: 2.27
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (5, 83.33%)
- None (1, 16.67%)
Pull Request Author Associations
- Contributor (7, 63.64%)
- Collaborator (3, 27.27%)
- None (1, 9.09%)
Top Issue Labels
- kind: bug (3)
- needs: triage (2)
- kind: wish (1)
- part: CoqIDE (1)