GitHub / noschinl issue stats
Total issues: 6
Total pull requests: 6
Merged pull request: 4
Average time to close issues: almost 3 years
Average time to close pull requests: almost 2 years
Average comments per issue: 6.17
Average comments per pull request: 3.67
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 66.67%)
- Contributor (2, 33.33%)
Pull Request Author Associations
- Contributor (5, 83.33%)
- None (1, 16.67%)
Top Issue Labels
- bug (1)
- tasty-quickcheck (1)