It’s a shame GitHub Actions don’t support “[skip ci]” in commit messages, as it seems be the convention similar tools have coalesced around