Boot the playground from a GitHub repo, plus editor features - #28
Open
rijulshrestha wants to merge 19 commits into
Open
Boot the playground from a GitHub repo, plus editor features#28rijulshrestha wants to merge 19 commits into
rijulshrestha wants to merge 19 commits into
Conversation
GabrielaReyna
requested changes
Jul 31, 2026
GabrielaReyna
left a comment
GabrielaReyna
left a comment
Contributor
There was a problem hiding this comment.
Hi Rijul,
Great work on this. Some comments on the UI/UX to be amended in this PR:
IDE (once booted)
- Please allocate the download button next to the "new folder" and "new file" buttons, since these are all for file management, it makes sense they are in the same menu.
- Replace "Files" in the files section for "Project files"
- If possible, please add another file option in the file menu (currently edit and delete) to download an individual file. Hence we would have the download button at the project level to download the .zip and also the download option to download just a file.
/ide page
- In the same line of "Clone from GitHub" please add a small badge that says "Beta feature", when on hover, add a tooltip with a short explanation such as "Paste the GitHub URL of a working template, for example ... "
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The playground now boots from a GitHub repo as well. A new
/ide/github/[owner]/[repo]/tree/[ref]/[...dir]route shallow-clones a public repo into a fresh pod, installs it, and resolves its dev script. Access is unauthenticated: public repos only, 60 req/hr, and clones don't persist.Three larger features come with it: zen mode, a file search panel over the pod's working tree, and project download as a zip.
The rest is refactoring, kept as separate commits deliberately. One bit commit would be harder to review and separate.
Still open is a last UI/UX pass. The clone-from-GitHub section and the download button's position both need another look. The native to WASM dependency-override swap is also shelved out of this branch for now. Both the override format and how they're applied need rethinking.