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 713: Mark as Rejected #3423

Merged
merged 2 commits into from
Sep 6, 2023
Merged

PEP 713: Mark as Rejected #3423

merged 2 commits into from
Sep 6, 2023

Conversation

AA-Turner
Copy link
Member

@AA-Turner AA-Turner commented Sep 5, 2023

  • SC/PEP Delegate has formally accepted/rejected the PEP and posted to the Discussions-To thread
  • Pull request title in appropriate format (PEP 123: Mark as Accepted)
  • Status changed to Accepted/Rejected
  • Resolution link points directly to SC/PEP Delegate official acceptance/rejected post
  • Acceptance/rejection notice added, if the SC/PEP delegate had major conditions or comments
  • Discussions-To, Post-History and Python-Version up to date

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

@pradyunsg
Copy link
Member

https://discuss.python.org/t/26127/86 has been posted.

@AA-Turner
Copy link
Member Author

I've added a precis of @gpshead's note (rephrased to the third person).

A

@AA-Turner AA-Turner marked this pull request as ready for review September 6, 2023 11:53
@AA-Turner AA-Turner requested a review from ambv as a code owner September 6, 2023 11:53
@AA-Turner AA-Turner merged commit 5ce45ed into python:main Sep 6, 2023
4 checks passed
@AA-Turner AA-Turner deleted the 713-rejected branch September 6, 2023 15:44
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