An userscript to add "Sourcegraph" button on github.
< Feedback op GitHub Sourcegraph Button
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.
Log in om antwoord te geven.
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.