☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

As of 27/07/2017. See the latest version.

FranklinYu 15/04/2021
OK 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 b...

Post a review, comment, or question

If you think this script is breaking Greasy Fork's rules, please report it for removal.

Sign in to post a review, comment, or question.