Skip to content

[socket] Revert adding proto default value in SocketType #14549

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 11, 2025

Conversation

donBarbos
Copy link
Contributor

@donBarbos donBarbos commented Aug 9, 2025

Closes: #14548

* Revert adding `proto` default value to `socket.SocketType`
* Closes: python#14548
@donBarbos donBarbos changed the title Ublock daily tests on Sat Aug 09 2025 Unblock daily tests on Sat Aug 09 2025 Aug 9, 2025
@donBarbos donBarbos changed the title Unblock daily tests on Sat Aug 09 2025 [socket] Revert adding proto default value in SocketType Aug 9, 2025
Copy link
Contributor

github-actions bot commented Aug 9, 2025

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

@donBarbos
Copy link
Contributor Author

I'm not sure if this action is necessary. Most likely it would be correct to just add it to the allowlist. But I'll leave it here for now until we decide

@srittau srittau merged commit 7ebff91 into python:main Aug 11, 2025
63 checks passed
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.

Daily tests failed on Sat Aug 09 2025
2 participants