Why do we need a bot at all?
I mean, we already have a tidy script that checks formatting (in some sense) and breaks the build.
Couldnât we just update that script to use rustfmt --check instead, and maybe give the script an option to apply the formatting ?
A flag day with a modification to the tidy script and a reformat of the code base appears to me to be the next incremental step. We could add a bot that keeps PRs automatically formatted but that sounds like an orthogonal thing to do, and I could see how that could be annoying. Maybe instead of modifying the PR, the bot could just comment saying that the PR does not pass the style check, and block running travis on that passing to reduce travis load.