@zooba, remember that miss-islington never merges any PRs nowadays; you need to explicitly click the "enable auto-merge" button if you want the PR to be merged after all the CI checks have successfully completed

That's not a "remember" - this is the first I've heard of it. Thanks!

That's not a "remember" - this is the first I've heard of it. Thanks!

Ah, no worries! Devguide docs are here on the new workflow :)

• https://devguide.python.org/getting-started/git-boot-camp/index.html#accepting-and-merging-a-pull-request
• https://devguide.python.org/getting-started/git-boot-camp/index.html#cancelling-an-automatic-merge

Context behind the change:https://discuss.python.org/t/github-auto-merge-is-now-enabled/26176