GitHub / destroyhimmyrobots issue stats
Total issues: 2
Total pull requests: 2
Merged pull request: 0
Average time to close issues: 3 months
Average time to close pull requests: almost 9 years
Average comments per issue: 1.5
Average comments per pull request: 2.0
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (2, 100.00%)
Pull Request Author Associations
- None (2, 100.00%)
Top Issue Labels
- bug (1)
- Infrastructure (build/test) (1)
- closed because repo moved to dotnet/fsharp (1)