☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

À partir de 2017-07-27. Voir la dernière version.

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