A PR is easy to automate, hook into, an preserves ownership of the commit. Yes it bypasses YOUR workflow, but a PR works for everyone who uses GitHub. If you

A PR is easy to automate, hook into, an preserves ownership of the commit. Yes it bypasses YOUR workflow, but a PR works for everyone who uses GitHub. If you want something else that works for everyone who uses GitHub it's an issue, or an email with a patch file. Why a patch file. DO you want to own the change the bot suggested? There are a lot of orgs where the ownership matters more than the linting. You could just make the change yourself, sure, and then run it through your normal workflow... then your the author and commuter of the change...