Skip to content

Conversation

@ebonnal
Copy link

Preparing for the merge of python/cpython#125663

@github-actions
Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau
Copy link
Collaborator

Thanks for the PR. Please note that we only accept changes for the next version of Python once the first beta releases. Please reopen this PR or ping us once that's the case.

@srittausrittau closed this Mar 10, 2025
@ebonnal
Copy link
Author

ebonnal commented May 12, 2025

Please reopen this PR or ping us once that's the case.

Hi @srittau, here comes the ping 🫡

@srittausrittau reopened this May 12, 2025
@srittau
Copy link
Collaborator

Thanks for the ping. This now has a merge conflict. We need to merge main into this PR anyway, since we now have testing infrastructure for 3.14 in main.

@ebonnal
Copy link
Author

@srittau oh actually this change has been already merged by #13994, hence the conflict, we can close it for good this time 😄

@ebonnalebonnal closed this May 12, 2025
Sign up for freeto 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.

2 participants

@ebonnal@srittau