GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Versão de: 27/07/2017. Veja: a última versão.