GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

As of 2017-08-29. See the latest version.

Author
martianyi
Ratings
0 0 0
Version
1.0.1
Created
2017-07-27
Updated
2017-08-29
Size
3.17 KB
License
N/A
Applies to

An userscript adds a button allow you to jump to Sourcegraph from GitHub.