An userscript to add "Sourcegraph" button on github.
< Opiniones de 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.
Inicia sesión para responder.
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.