Skip to content

PEP 11: remove Eric Snow for Michael Droettboom in supporting WASI #4509

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
Merged
merged 2 commits into from
Jul 24, 2025
Merged

PEP 11: remove Eric Snow for Michael Droettboom in supporting WASI #4509

merged 2 commits into from
Jul 24, 2025
+1 −1

Conversation

brettcannon
Copy link
Member

@brettcannon brettcannon commented Jul 24, 2025 •
edited by github-actions bot
Loading

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

@brettcannon brettcannon changed the title PEP 11: add Swap Michael Droettboom for Eric Snow in supporting WASI PEP 11: swap Michael Droettboom for Eric Snow in supporting WASI Jul 24, 2025
AA-Turner
AA-Turner approved these changes Jul 24, 2025
View reviewed changes
Copy link
Member

@AA-Turner AA-Turner left a comment

Choose a reason for hiding this comment

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

I first read the title as removing Michael and adding Eric; would it be worth re-wording for clarity ("Replace Eric with ..."?)

A

@brettcannon brettcannon changed the title PEP 11: swap Michael Droettboom for Eric Snow in supporting WASI PEP 11: remove Eric Snow for Michael Droettboom in supporting WASI Jul 24, 2025
@brettcannon brettcannon merged commit 62fdf4f into python:main Jul 24, 2025
6 checks passed
@brettcannon brettcannon deleted the pep11-add-michael branch July 24, 2025 21:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mdboom mdboom mdboom approved these changes

@AA-Turner AA-Turner AA-Turner approved these changes

@ericsnowcurrently ericsnowcurrently Awaiting requested review from ericsnowcurrently

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@brettcannon @mdboom @AA-Turner