Skip to content

Move mousebender files to the _vendored/ directory#185

Merged
agriyakhetarpal merged 1 commit intopyodide:mainfrom
agriyakhetarpal:move/external-to-vendored
Jan 29, 2025
Merged

Move mousebender files to the _vendored/ directory#185
agriyakhetarpal merged 1 commit intopyodide:mainfrom
agriyakhetarpal:move/external-to-vendored

Conversation

@agriyakhetarpal
Copy link
Copy Markdown
Member

Description

This PR moves the mousebender adaptation to the vendored/ directory, as a follow-up PR to #178, as requested in #178 (comment).

@agriyakhetarpal
Copy link
Copy Markdown
Member Author

agriyakhetarpal commented Jan 29, 2025

Should micropip/_vendored/mousebender/ contain an __init__.py file? My opinion is that it shouldn't, as we won't expect anyone to use import micropip._vendored.mousebender in their scripts, but we had micropip/externals/__init__.py so it would have been possible to use import micropip.externals prior to this PR.

I checked https://github.com/search?q=micropip.externals&type=code and the results are either not relevant or are really old, from forks that have not been updated (when micropip existed in the Pyodide repository and we included micropip.externals._pip).

@agriyakhetarpal agriyakhetarpal added this to the 0.9.0 milestone Jan 29, 2025
@hoodmane
Copy link
Copy Markdown
Member

Thanks!

@agriyakhetarpal
Copy link
Copy Markdown
Member Author

Thanks for the review!

@agriyakhetarpal agriyakhetarpal merged commit 4728a85 into pyodide:main Jan 29, 2025
@agriyakhetarpal agriyakhetarpal deleted the move/external-to-vendored branch January 29, 2025 20:41
@ryanking13
Copy link
Copy Markdown
Member

Thanks Agriya!

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