☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Version au 27/07/2017. Voir la dernière 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...

Poster un avis, un commentaire ou une question

Si vous pensez que ce script enfreint les règles deGreasy Fork, veuillez le signaler pour le retirer.

Connectez-vous pour poster un avis, un commentaire ou une question.