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.

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 712: Mark as Rejected #3829

Merged
merged 4 commits into from
Jun 6, 2024
Merged

PEP 712: Mark as Rejected #3829

merged 4 commits into from
Jun 6, 2024

Conversation

warsaw
Copy link
Member

@warsaw warsaw commented Jun 6, 2024 •
edited
Loading

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

@warsaw warsaw requested a review from ericvsmith as a code owner June 6, 2024 22:59
@warsaw warsaw self-assigned this Jun 6, 2024
@warsaw
Copy link
Member Author

warsaw commented Jun 6, 2024

@ericvsmith as PEP Sponsor, please review and merge.

@ericvsmith ericvsmith merged commit a17f32f into main Jun 6, 2024
11 checks passed
@ericvsmith ericvsmith deleted the warsaw/pep712-reject branch June 6, 2024 23:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ericvsmith ericvsmith Awaiting requested review from ericvsmith ericvsmith is a code owner

Assignees

@warsaw warsaw

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@warsaw @ericvsmith