In order to reduce the manual load on the editor, it is important that steps run automatically as far as reasonably possible.
Work proposal
Create a CI workflow which, on pull requests runs the tools created in #1235, #1237, #1238, #1239 and sends diagnostics in a comment on the GitHub PR, adding labels and tagging either the author or the editor as appropriate.
Summary
In order to reduce the manual load on the editor, it is important that steps run automatically as far as reasonably possible.
Work proposal
Create a CI workflow which, on pull requests runs the tools created in #1235, #1237, #1238, #1239 and sends diagnostics in a comment on the GitHub PR, adding labels and tagging either the author or the editor as appropriate.