Skip to content
/pepsPublic

PEP 101: Add Android#4541

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
hugovk merged 2 commits into from
Aug 14, 2025
Merged

PEP 101: Add Android #4541

hugovk merged 2 commits into from
Aug 14, 2025

Conversation

@mhsmith
Copy link
Member

@mhsmithmhsmith commented Aug 10, 2025•
edited
Loading

For context, see:

I also took the opportunity to mention run_release.py and the release-tools GitHub Actions workflow, neither of which were previously covered. Android support is added to those scripts in python/release-tools#265.

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

This was referenced Aug 9, 2025
Closed
Merged
Closed
sethmlarson
sethmlarson reviewed Aug 11, 2025
View reviewed changes
@mhsmithmhsmith marked this pull request as ready for review August 13, 2025 09:09
@hugovkhugovk merged commit 52b11bf into python:mainAug 14, 2025
5 checks passed
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@hugovkhugovkhugovk approved these changes

@Yhg1sYhg1sYhg1s approved these changes

@sethmlarsonsethmlarsonsethmlarson approved these changes

@pablogsalpablogsalAwaiting requested review from pablogsalpablogsal is a code owner

@ambvambvAwaiting requested review from ambvambv is a code owner

@ned-deilyned-deilyAwaiting requested review from ned-deilyned-deily 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

@mhsmith@hugovk@Yhg1s@sethmlarson