git-synced WASM notebooks
Hi all, marimo.app, when using pyodide kernel, we can upload files and then open the notebook using the file explorer or the dropdown to select files (based on the root workspace), also using marimo.app, we can share code using permalink (files stored and served by marimo backend) or use wasm link (code encoded in the url), it's great but I think that something way better can be implemented.
Do you plan on integrating a git client in the front-end (using https://github.com/isomorphic-git/isomorphic-git) ? To allow user to navigate through a git repository by keeping the fact that files for the branch/commit will be copied to iDB store that is currently storing files and their content.
Using query parameter, one could easily share the repository url, branch name and files to open. If the repo is private, then a popup that ask credentials can be done easily.
2 Replies
That's a really great idea! Kind of like Binder, but cooler. We will definitely keep this in mind
This would be great! What I've been experimenting with is hard-coding a Gitlab project access token into a WASM notebook and then using the Gitlab API (via Python requests) to retrieve files as the notebook needs them. A built in solution with push, pull, authentication, etc. would take things to he next level.