ndmitchell/hlint
View on GitHubShow disabled groups of hints in --generate-summary
Open
#1,126 opened on Sep 13, 2020
good first issue
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.