GitHub / moshevds issue stats
Total issues: 2
Total pull requests: 5
Merged pull request: 3
Average time to close issues: N/A
Average time to close pull requests: 21 days
Average comments per issue: 1.5
Average comments per pull request: 1.6
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (2, 100.00%)
Pull Request Author Associations
- Contributor (3, 60.00%)
- None (2, 40.00%)
Top Issue Labels
- A-trait-system (1)
- C-bug (1)
- I-hang (1)
- T-types (1)
- fixed-by-next-solver (1)
- A-GATs (1)
- A-higher-ranked (1)