☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

Versione datata 29/08/2017. Vedi la nuova versione l'ultima versione.

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...

Pubblica una recensione, un commento o una domanda

Se pensi che questo script stia violando le regole diGreasy Fork, per favore segnalalo per la rimozione.

Accedi per pubblicare una recensione, commentare o fare domande.