Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix incorrect "unused 'type: ignore' comment" error log coloring #8248
Original error code indexing is assuming all `msg's included a '[', which clearly fails on "unused 'type: ignore' comment", this PR provides correct string finding and substring indexing thus a correct colorization.
However, it also seems meaningful to add an error code for this error. Suggestions are welcomed.