ndmitchell/hlint
Auf GitHub ansehenShow disabled groups of hints in --generate-summary
Open
#1.126 geöffnet am 13. Sept. 2020
good first issue
Repository-Metriken
- Stars
- (1.594 Stars)
- PR-Merge-Metriken
- (Keine gemergten PRs in 30 T)
Beschreibung
Ideally we'd have each disabled set of hints (e.g. generalise, teaching) in their own section in the summary, saying they are disabled.