FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

PEP 11: Restore Emscripten to Tier 3 by freakboy3742 · Pull Request #4490 · python/peps · GitHub

/ peps Public

PEP 11: Restore Emscripten to Tier 3 - #4490

Merged
AA-Turner merged 1 commit into
python:mainfrom
freakboy3742:emscripten-tier-3
Jul 9, 2025
ConversationCommits (1)ChecksFiles changed
Merged

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

Conversation

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

Copy link
Copy Markdown
Contributor

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 requested a review from brettcannon as a code owner July 9, 2025 02:27
AA-Turner changed the title Restore Emscripten to Tier 3. PEP 11: Restore Emscripten to Tier 3 Jul 9, 2025
willingc approved these changes Jul 9, 2025
View reviewed changes

willingc left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Thank you @freakboy3742!

freakboy3742 commented Jul 9, 2025

Copy link
Copy Markdown
Contributor Author

Thank you @freakboy3742!

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

freakboy3742 commented Jul 9, 2025

Copy link
Copy Markdown
Contributor Author

(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 approved these changes Jul 9, 2025
View reviewed changes

AA-Turner left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Congratulations both!

A

AA-Turner merged commit 25cec5d into python:main Jul 9, 2025
freakboy3742 deleted the emscripten-tier-3 branch July 9, 2025 03:41

AA-Turner commented Jul 9, 2025

Copy link
Copy Markdown
Member

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 commented Jul 9, 2025

Copy link
Copy Markdown
Contributor

Thanks!

encukou mentioned this pull request Jul 9, 2025
Merged
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Show hidden characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

willingc willingc approved these changes
AA-Turner AA-Turner approved these changes
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

Back | FazBrowse Home | New Git URL