Skip to content

Conversation

ambv
Copy link
Contributor

@ambv ambv commented Jan 22, 2025

@AlexWaygood
Copy link
Member

Oh, looks like @picnixz got there a few seconds before you in #129180

@picnixz
Copy link
Member

picnixz commented Jan 22, 2025

So... who merges what? I like your title though so I think yours is better :')

Copy link
Member

@vstinner vstinner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@vstinner vstinner enabled auto-merge (squash) January 22, 2025 13:40
@vstinner vstinner merged commit 2ed5ee9 into python:main Jan 22, 2025
47 checks passed
@ambv ambv deleted the fix-lint branch May 5, 2025 21:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip news tests Tests in the Lib/test dir
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants