Skip to content

PEP 836: Review suggestions#5018

Merged
Fidget-Spinner merged 4 commits into
python:mainfrom
hugovk:pep836-review
Jul 3, 2026
Merged

PEP 836: Review suggestions#5018
Fidget-Spinner merged 4 commits into
python:mainfrom
hugovk:pep836-review

Conversation

@hugovk

@hugovk hugovk commented Jul 3, 2026

Copy link
Copy Markdown
Member
  • 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)

Some suggestions:

  • Code formatting for main branch
  • Replace footnotes with inline links -- save our readers a click and take them directly to the webpage
  • Prefix internal refs with PEP number to avoid clash with other PEPs
  • Wording

@read-the-docs-community

Copy link
Copy Markdown

Documentation build overview

📚 pep-previews | 🛠️ Build #33428591 | 📁 Comparing 09db52b against latest (6377bc2)

  🔍 Preview build  

1 file changed
± pep-0836/index.html

@Fidget-Spinner Fidget-Spinner left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Nice simplification. Thanks!

@Fidget-Spinner Fidget-Spinner merged commit 5095903 into python:main Jul 3, 2026
5 checks passed
@hugovk hugovk deleted the pep836-review branch July 3, 2026 15:33
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.

2 participants