GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

< Feedback on GitHub Sourcegraph Button

Review: OK - script works, but has bugs

§
Posted: 15.04.2021.

Feature requests: would be nice if I can open it in a new tab. Right now it was implemented as a button, so it always replaces the current page.

Minor bug: the look get a bit messed up if I go back from Sourcegraph to GitHub. Refreshing the page fixes that, but it’s a little annoying.

Post reply

Sign in to post a reply.