Skip to content

Comments

PEP 11: Restore Emscripten to Tier 3#4490

Merged
AA-Turner merged 1 commit intopython:mainfrom
freakboy3742:emscripten-tier-3
Jul 9, 2025
Merged

PEP 11: Restore Emscripten to Tier 3#4490
AA-Turner merged 1 commit intopython:mainfrom
freakboy3742:emscripten-tier-3

Conversation

@freakboy3742
Copy link
Contributor

@freakboy3742 freakboy3742 commented Jul 9, 2025 •
edited by github-actions bot
Loading

With the restoration of an Emscripten buildbot, plus python/cpython#136230 and python/steering-council#256, we are now in a position to formally restore Emscripten to Tier 3.

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

@freakboy3742 freakboy3742 requested a review from brettcannon as a code owner July 9, 2025 02:27
@AA-Turner AA-Turner changed the title Restore Emscripten to Tier 3. PEP 11: Restore Emscripten to Tier 3 Jul 9, 2025
willingc
willingc approved these changes Jul 9, 2025
View reviewed changes
Copy link
Contributor

@willingc willingc left a comment

Choose a reason for hiding this comment

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

Thank you @freakboy3742!

@freakboy3742
Copy link
Contributor Author

freakboy3742 commented Jul 9, 2025

Thank you @freakboy3742!

You're welcome, of course... but @hoodmane deserves most of the credit here.

@freakboy3742
Copy link
Contributor Author

freakboy3742 commented Jul 9, 2025

(Also - checking protocol here: am I allowed to merge this? The merge button is enabled for me... but I'm not sure about the protocol around the peps repo)

AA-Turner
AA-Turner approved these changes Jul 9, 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.

Congratulations both!

A

@AA-Turner AA-Turner merged commit 25cec5d into python:main Jul 9, 2025
6 checks passed
@freakboy3742 freakboy3742 deleted the emscripten-tier-3 branch July 9, 2025 03:41
@AA-Turner
Copy link
Member

AA-Turner commented Jul 9, 2025

am I allowed to merge this?

Sorry for missing this (hadn't refreshed the page). A while ago (I believe pre-GitHub), commit access on peps was restricted to PEP Editors only. This was broadened to all core developers for ease-of-life again I believe around the GitHub migration, so the merge button is very intentional! For changes to non-Draft PEPs, though, it can be sensible to have people double-check the change prior to merge.

A

@hoodmane
Copy link
Contributor

hoodmane commented Jul 9, 2025

Thanks!

@encukou encukou mentioned this pull request Jul 9, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@willingc willingc willingc approved these changes

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

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

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@freakboy3742 @AA-Turner @hoodmane @willingc