Skip to content
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

PEP 484: Mark as Final #1942

Draft
wants to merge 1 commit into
base: master
from
Draft

PEP 484: Mark as Final #1942

wants to merge 1 commit into from

Conversation

@JelleZijlstra
Copy link
Member

@JelleZijlstra JelleZijlstra commented May 1, 2021

PEP 484 is still marked as "Provisional", but as @Fidget-Spinner pointed out in python/typing#805, it shouldn't be any more. python/cpython#16204 removed talk about typing's provisional status from the module docs, and enhancements to typing have been in the form of new PEPs for the last few release cycles.

Going to mark this as a draft so Guido can have a chance to comment once he's back.

PEP 484 is still marked as "Provisional", but as @Fidget-Spinner pointed out in python/typing#805, it shouldn't be any more. python/cpython#16204 removed talk about typing's provisional status from the module docs, and enhancements to typing have been in the form of new PEPs for the last few release cycles.

Going to mark this as a draft so Guido can have a chance to comment once he's back.
@Fidget-Spinner
Copy link
Contributor

@Fidget-Spinner Fidget-Spinner commented May 2, 2021

Thanks for the fix Jelle!

PS. I recently stopped @ people inside my commits (or the first message in a PR), see this to learn more: https://mail.python.org/archives/list/python-committers@python.org/thread/OCVQ6IYOVTVYW7ADDNOHKR7JDRBYLM3T/. I think it shouldn't matter as long as you squash-merge with a separate commit message though.

@JelleZijlstra
Copy link
Member Author

@JelleZijlstra JelleZijlstra commented May 2, 2021

I believe that was a GitHub bug that has since been fixed. Still I'll make sure to remove your name in case the bug reappears :)

@Fidget-Spinner
Copy link
Contributor

@Fidget-Spinner Fidget-Spinner commented May 2, 2021

I believe that was a GitHub bug that has since been fixed. Still I'll make sure to remove your name in case the bug reappears :)

Thanks :)!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants