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.

Sign up for GitHub

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

Jump to bottom

PEP 734: Add Links For Discussions #3590

Merged

ericsnowcurrently merged 1 commit into python:main from ericsnowcurrently:pep-734-update-header

Dec 15, 2023

Member

ericsnowcurrently commented Dec 15, 2023 •

edited by github-actions bot

Loading

Change is either:
- To a Draft PEP
- To an Accepted or Final PEP, with Steering Council approval
- To fix an editorial issue (markup, typo, link, header, etc)
PR title prefixed with PEP number (e.g. PEP 123: Summary of changes)

📚 Documentation preview 📚: https://pep-previews--3590.org.readthedocs.build/


          Update the header.

f2758b0

ericsnowcurrently enabled auto-merge (squash)

December 15, 2023 00:21

ericsnowcurrently merged commit a712206 into python:main

6 of 7 checks passed

ericsnowcurrently deleted the pep-734-update-header branch

December 15, 2023 01:07

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