Skip to content

PEP 667: Mark as Final - #3942

Merged
ncoghlan merged 3 commits into
python:mainfrom
hugovk:pep667-mark-as-final
Oct 27, 2024
Merged

PEP 667: Mark as Final#3942
ncoghlan merged 3 commits into
python:mainfrom
hugovk:pep667-mark-as-final

Conversation

@hugovk

@hugovkhugovk commented Sep 3, 2024

Copy link
Copy Markdown
Member
  • Final implementation has been merged (including tests and docs)
  • PEP matches the final implementation
  • Any substantial changes since the accepted version approved by the SC/PEP delegate
  • Pull request title in appropriate format (PEP 123: Mark Final)
  • Status changed to Final (and Python-Version is correct)
  • Canonical docs/spec linked with a canonical-doc directive
    (or canonical-pypa-spec for packaging PEPs,
    or canonical-typing-spec for typing PEPs)

Helps #3781.

@markshannon@gaogaotiantian:


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

@hugovkhugovk mentioned this pull request Sep 3, 2024
6 tasks
@ncoghlan

ncoghlan commented Sep 4, 2024

Copy link
Copy Markdown
Contributor

#3845 is still open, along with the corresponding SC ticket at python/steering-council#245 so I don't believe it's quite there yet (specifically missing the second point in the checklist).

For the canonical docs, there are a few relevant canonical links:

Comment threadpeps/pep-0667.rst
@hugovk

Copy link
Copy Markdown
MemberAuthor

Thanks, let's move this to draft until it's ready.

@hugovk
hugovk marked this pull request as draft September 4, 2024 13:06
@ncoghlan

Copy link
Copy Markdown
Contributor

#3845 has been approved and merged, so I think this is genuinely Final now.

@ncoghlan
ncoghlan marked this pull request as ready for review October 21, 2024 17:55
Comment threadpeps/pep-0667.rst
Comment threadpeps/pep-0667.rst Outdated
@ncoghlan
ncoghlan merged commit 9dca599 into python:mainOct 27, 2024
@hugovk
hugovk deleted the pep667-mark-as-final branch October 27, 2024 08:27
gvanrossum pushed a commit to gvanrossum/peps that referenced this pull request Dec 10, 2024
Sign up for freeto 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

@hugovk@ncoghlan@JelleZijlstra@AA-Turner