Skip to content

Conversation

@JelleZijlstra
Copy link
Member

No description provided.

Co-authored-by: CAM Gerlach <CAM.Gerlach@Gerlach.CAM>
@JelleZijlstra JelleZijlstra marked this pull request as ready for review July 1, 2022 15:13
Copy link
Member

@CAM-Gerlach CAM-Gerlach left a comment

Choose a reason for hiding this comment

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

At least in the packaging PEPs, we put the Topic below the Type, which seems to make sense, so probably worth being consistent here like the other headers are.

Also, one wording suggestion.

@CAM-Gerlach CAM-Gerlach added enhancement meta Related to the repo itself and its processes labels Jul 2, 2022
@CAM-Gerlach CAM-Gerlach changed the title Add typing Topic Add Typing Topic Oct 7, 2022
Copy link
Member

@CAM-Gerlach CAM-Gerlach left a comment

Choose a reason for hiding this comment

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

LGTM now; thanks @JelleZijlstra

@JelleZijlstra JelleZijlstra merged commit 83b976d into python:main Oct 7, 2022
@JelleZijlstra JelleZijlstra deleted the topictyping branch October 7, 2022 00:36
@hugovk
Copy link
Member

hugovk commented Oct 7, 2022

And it's live!

https://peps.python.org/topic/typing/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement meta Related to the repo itself and its processes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants