Github now has native automerge functionality: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-changes-from-a-pull-request/automatically-merging-a-pull-request
We should turn this on for the cirq repo, check that it works the way we want, and then turn off cirq bot.