This is the browser bookmarklet for Gitpod which we provide as an alternative to our browser extension. Refer to https://www.gitpod.io/docs/browser-bookmarklet/ for installation instructions.
Take the contents of dist/gitpodify.js and update the code snippet in the Gitpod bookmarklet documentation.
We are currently tracking all issues related to the browser bookmarklet in the gitpod-io/gitpod
repository.
You can use the component: browser-bookmarklet
label to search for relevant issues including feature proposals and bug reports.