GitHub / nikvoid issue stats
Total issues: 13
Total pull requests: 7
Merged pull request: 4
Average time to close issues: 5 months
Average time to close pull requests: 3 days
Average comments per issue: 3.08
Average comments per pull request: 0.57
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (13, 100.00%)
Pull Request Author Associations
- Contributor (4, 57.14%)
- None (3, 42.86%)
Top Issue Labels
- C-bug (2)
- bug (1)
- Type: Change/Feature Request (1)
- Requestor-Player (1)
- I-ICE (1)
- T-compiler (1)
- enhancement (1)
- A-borrow-checker (1)
- T-types (1)
- fixed-by-polonius (1)
- feature (1)
- integrations (1)
- question (1)
- C-enhancement (1)
- upstream (1)