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 774: Add Discussions-To link and minor revisions #4236

Merged

Conversation

savannahostrowski
Copy link
Member

@savannahostrowski savannahostrowski commented Jan 27, 2025

  • 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--4236.org.readthedocs.build/

@savannahostrowski savannahostrowski changed the title PEP 744: Add Discussions-To link PEP 744: Add Discussions-To link and minor revisions Jan 28, 2025
@@ -1,6 +1,7 @@
PEP: 774
Title: Removing the LLVM requirement for JIT builds
Author: Savannah Ostrowski <[email protected]>
Discussions-To: https://discuss.python.org/t/pep-774-removing-the-llvm-requirement-for-jit-builds/78548
Copy link
Member

Choose a reason for hiding this comment

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

You could use the slightly shorter link here, and add a trailing comma to reduce the diff for any future threads (the trailing comma is removed on render)

Suggested change
Discussions-To: https://discuss.python.org/t/pep-774-removing-the-llvm-requirement-for-jit-builds/78548
Discussions-To: https://discuss.python.org/t/78548/,

Copy link
Member

Choose a reason for hiding this comment

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

@savannahostrowski Oops, sorry! I got mixed up with Post-History, which does accept trailing commas -- unlike Discussions-To.

To that point, if you make any further PRs updating the PEP, please could you add Post-History? It's probably not worth a standalone PR though.

@savannahostrowski savannahostrowski merged commit 406a4ad into python:main Jan 28, 2025
5 checks passed
@brandtbucher
Copy link
Member

Wrong PEP number. :)

@hugovk hugovk changed the title PEP 744: Add Discussions-To link and minor revisions PEP 774: Add Discussions-To link and minor revisions Jan 28, 2025
@savannahostrowski
Copy link
Member Author

...and here I thought it was neat that we had 744 and 774 😵‍💫

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.

3 participants