An userscript to add "Sourcegraph" button on github.
< Spätná väzba na 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.
Aby ste mohli pridať odpoveď, prihláste sa.
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.