11/11/2022 11:06, Juraj Linkeš: > > > > > > Good comment, I'll improve in v2. > > > > One more thing, if we go with changing the Formatting echo, then we should > > also change the Linting echo. Or we could do it in some other place just > > once, > > I'm not sure which is better. > > I have one more request, could you add "echo 'Summary:'" before 'echo "Found > $errors errors"' so that it's 100% clear what we're printing at the end (and > that it's not part of the 'Linting:' output).
OK good idea
