Skip to content

Add OS-ios label, and later OS-android #524

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
Closed
2 tasks done
encukou opened this issue Jan 16, 2024 · 1 comment
Closed
2 tasks done

Add OS-ios label, and later OS-android #524

encukou opened this issue Jan 16, 2024 · 1 comment
Assignees
@ezio-melotti
Labels
labels Issues related to GitHub label changes

Comments

@encukou
Copy link
Member

encukou commented Jan 16, 2024 •
edited
Loading

Request for label changes on python/cpython

CPython will (hopefully) add support for platforms that will bring their specific quirks:

Unless there's disagreement here, I intend to add labels for them when (and if) support is merged, and update the Devguide accordingly.
@encukou encukou added the labels Issues related to GitHub label changes label Jan 16, 2024
@encukou encukou mentioned this issue Feb 28, 2024
Closed
@encukou
Copy link
Member Author

encukou commented Mar 20, 2024 •
edited
Loading

PEP 738 is accepted. Both labels are added.
I didn't add iOS and Android labels to Devguide: since python/devguide#1281 the list there is not exhaustive

@encukou encukou closed this as completed Mar 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ezio-melotti ezio-melotti

Labels
labels Issues related to GitHub label changes
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@encukou @ezio-melotti