Useful Bookmarklet for GitHub

Hi all!

I use GitHub with Binder quite frequently, and often want to launch a repo on In particular, I find Gists to be a very quick way to prepare a shared JupyterLab resource.

This simple bookmarklet constructs the URLs to open Gists and repositories on MyBinder (assuming HEAD revision).


You can paste the source into URL Decoder/Encoder if you wish to ensure the safety of the code!