ndmitchell/hlint
Voir sur GitHubShow disabled groups of hints in --generate-summary
Open
#1 126 ouverte le 13 sept. 2020
good first issue
Métriques du dépôt
- Stars
- (1 594 stars)
- Métriques de merge PR
- (Aucune PR mergée en 30 j)
Description
Ideally we'd have each disabled set of hints (e.g. generalise, teaching) in their own section in the summary, saying they are disabled.