length_levels_linter() for length(levels(x)) --> nlevels(x)#2051

Merged

IndrajeetPatil merged 3 commits intomainfrom length_levels

Aug 8, 2023

+87-3

Commits on Aug 7, 2023

Commits on Aug 8, 2023

actually add the new files
MichaelChirico
committed