An userscript to add "Sourcegraph" button on github.
As of 27. 07. 2017. See the latest version.
These are versions of this script where the code was updated. Show all versions.
