Make --allow-redefinition-new argument public by ilevkivskyi · Pull Request #19796 · python/mypy
Navigation Menu
{{ message }}
- Notifications You must be signed in to change notification settings
- Fork 3.2k
Merged
KevinRK29 merged 1 commit intopython:masterfrom
Sep 4, 2025Merged
Make --allow-redefinition-new argument public#19796
KevinRK29 merged 1 commit intopython:masterfrom
Make --allow-redefinition-new argument public#19796
KevinRK29 merged 1 commit intopython:masterfrom
Conversation
Copy link Copy Markdown
Member
ilevkivskyi
commented
Sep 4, 2025
ilevkivskyi
commented
It is time to announce this (as still experimental obviously).
ilevkivskyi
requested a review
from JukkaL
ilevkivskyi
mentioned this pull request
Closed
Copy link Copy Markdown
Contributor
github-actions
bot
commented
Sep 4, 2025
github-actions bot commented
Sep 4, 2025According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅
Copy link Copy Markdown
Member Author
ilevkivskyi
commented
Sep 4, 2025
ilevkivskyi commented
Sep 4, 2025GitHub actions are down, will retry tomorrow I guess.
JelleZijlstra approved these changes Sep 4, 2025
Copy link Copy Markdown
Member
JelleZijlstra
left a comment
JelleZijlstra
left a comment
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I pushed some buttons and CI seems running now
ilevkivskyi
deleted the
new-redefine-public
branch
KevinRK29 pushed a commit that referenced this pull request
Sep 5, 2025It is time to announce this (as still experimental obviously). (cherry picked from commit d33c147)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
3 participants