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

Move best practices out of "Type Stubs" doc into guide on writing stubs. #1817

Merged
merged 10 commits into from
Jul 26, 2024

Conversation

rchen152
Copy link
Collaborator

This is part of an effort to integrate the standalone "Type Stubs" doc into the rest of the typing documentation. See
#1815 for more context.

For #1605.

This is part of an effort to integrate the standalone "Type Stubs" doc
into the rest of the typing documentation. See
python#1815 for more context.

For python#1605.
docs/guides/writing_stubs.rst Outdated Show resolved Hide resolved
docs/guides/writing_stubs.rst Outdated Show resolved Hide resolved
docs/guides/writing_stubs.rst Outdated Show resolved Hide resolved
docs/guides/writing_stubs.rst Outdated Show resolved Hide resolved
rchen152 and others added 4 commits July 24, 2024 19:59
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
docs/guides/writing_stubs.rst Outdated Show resolved Hide resolved
docs/guides/writing_stubs.rst Outdated Show resolved Hide resolved
docs/guides/writing_stubs.rst Outdated Show resolved Hide resolved
rchen152 and others added 3 commits July 25, 2024 07:55
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
@rchen152
Copy link
Collaborator Author

@srittau @JelleZijlstra Thanks for the reviews! Is there anyone else you'd recommend I request a review from or any other procedural steps to take before merging?

@srittau
Copy link
Collaborator

srittau commented Jul 26, 2024

I think this is fine as is. This is not a spec, but an Informal document, so we can always easily amend it if something comes up.

Copy link
Collaborator

@hauntsaninja hauntsaninja left a comment

Choose a reason for hiding this comment

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

(some of the content feels a little typeshed tailored, but improving that is separate from the move)

@hauntsaninja hauntsaninja merged commit 0e57675 into python:main Jul 26, 2024
5 checks passed
@rchen152 rchen152 deleted the stubs_guide branch July 26, 2024 14:48
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.

4 participants