fix: improve bookmarklet functionality for GitHub notebook URLs

[Haleshot]

📝 Summary

Fix incorrect bookmark hyperlink redirecting to 404 page.

🔍 Description of Changes

Create a popup dialog box instructing to open the bookmark/use it to open a marimo notebook on GitHub

📋 Checklist

• I have read the contributor guidelines.
• For large changes, or changes that affect the public API: this change was discussed or approved through an issue, on Discord, or the community discussions (Please provide a link if applicable).
• I have added tests for the changes made.
• I have run the code and verified that it works as expected.

📜 Reviewers

@akshayka OR @mscolnick

[vercel]

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name	Status	Preview	Comments	Updated (UTC)
marimo-docs	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jan 11, 2025 5:26am
marimo-storybook	✅ Ready (Inspect)	Visit Preview	💬 Add feedback	Jan 11, 2025 5:26am

[vercel]

@Haleshot is attempting to deploy a commit to the marimo Team on Vercel.

A member of the Team first needs to authorize it.

[akshayka]

Thanks! One note to address — the bookmarklet also works with .ipynb files. They get automatically converted to marimo notebooks before being opened in the playground.

[Haleshot]

Thanks! One note to address — the bookmarklet also works with .ipynb files. They get automatically converted to marimo notebooks before being opened in the playground.

Have included .ipynb's and mentioned it in the note too.

[akshayka]

Thanks for the QoL improvement!

[akshayka]

@Haleshot actually one thing, marimo.app/URL actually works with non-github URLs too I believe. The URL just needs to end with .py or ipynb. If you could restore the original URL construction that would be great, thanks!

[Haleshot]

@Haleshot actually one thing, marimo.app/URL actually works with non-github URLs too I believe. The URL just needs to end with .py or ipynb. If you could restore the original URL construction that would be great, thanks!

Updated it accordingly (to the best of my knowledge). Hope it's fine now.

[github-actions]

🚀 Development release published. You may be able to view the changes at https://marimo.app?v=0.10.13-dev2