Currently auto-merge is being automatically enabled for some non-bot PRs.
@AdrianDAlessandro has pointed out that this is because the pre-commit workflow is automatically pushing fixes to our PRs and, in that case, the last committer (the "GitHub actor") will be the pre-commit bot, so this workflow is being erroneously activated.
Currently auto-merge is being automatically enabled for some non-bot PRs.
@AdrianDAlessandro has pointed out that this is because the pre-commit workflow is automatically pushing fixes to our PRs and, in that case, the last committer (the "GitHub actor") will be the pre-commit bot, so this workflow is being erroneously activated.
It seems like the right way to fix this is to use the PR's author instead: https://github.com/orgs/community/discussions/25502
Fixes #443.