ndmitchell/hlint
View on GitHubShow disabled groups of hints in --generate-summary
Open
#1,126 opened on Sep 13, 2020
good first issue
Repository metrics
- Stars
- (1,594 stars)
- PR merge metrics
- (No merged PRs in 30d)
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.