Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #158239 - nnethercote:rework-lint-pass-running, r=Urgau
Rework lint pass running
Some cleanups relating to the running of lint passes.
r? @Urgau
