Skip to content

move all_platforms to its own file #149

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.

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

Merged
merged 2 commits into from
Oct 2, 2023
Merged

Conversation

hathach
Copy link
Member

@hathach hathach commented Mar 15, 2023

move ALL_PLATFORMS to its own file all_platforms.py to make it easier for other repo to re-use the definitions. This is sometime is useful for other repo without maintaining the list locally.

@hathach hathach requested a review from ladyada March 15, 2023 17:39
@brentru
Copy link
Member

brentru commented Sep 12, 2023

@hathach @ladyada Are we still interested in this PR? I think it's great for maintainability and user-contributions.

@ladyada
Copy link
Member

ladyada commented Sep 12, 2023

yah sorry i didnt see this, its ok but will need conflicts resolved

@hathach
Copy link
Member Author

hathach commented Sep 14, 2023

ah, I forgot about this as well, will update & resolve the conflict soon ...

@ladyada
Copy link
Member

ladyada commented Oct 1, 2023

@hathach wanna try now that you're done with some recent projects?

@hathach hathach force-pushed the separate-platform-definiton branch from ef747b0 to 317c7cc Compare October 2, 2023 04:56
@hathach
Copy link
Member Author

hathach commented Oct 2, 2023

@ladyada yeah, just bump it up to lastest and resolve conflict. Should be good for review.

@ladyada ladyada merged commit cd3b022 into master Oct 2, 2023
@ladyada ladyada deleted the separate-platform-definiton branch October 2, 2023 12:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants