Skip to content

Conversation

@miss-islington
Copy link
Contributor

@miss-islington miss-islington commented Aug 9, 2023

(cherry picked from commit 1e229e2)

Co-authored-by: Max Bachmann [email protected]

@AlexWaygood
Copy link
Member

@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

@zooba
Copy link
Member

zooba commented Aug 9, 2023

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

@zooba zooba enabled auto-merge (squash) August 9, 2023 23:13
@zooba zooba merged commit eff2042 into python:3.11 Aug 9, 2023
@miss-islington miss-islington deleted the backport-1e229e2-3.11 branch August 9, 2023 23:15
@AlexWaygood
Copy link
Member

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants