good first issue
Repository metrics
- Stars
- (1,602 個のスター)
- PR merge metrics
- (30d に merged PR はありません)
説明
Ideally we'd have each disabled set of hints (e.g. generalise, teaching) in their own section in the summary, saying they are disabled.
Ideally we'd have each disabled set of hints (e.g. generalise, teaching) in their own section in the summary, saying they are disabled.