☰

GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

À data de 27/07/2017. Ver a versão mais recente.

FranklinYu 15/04/2021
Aceitável 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...

Publicar uma avaliação, comentário ou pergunta

Se acha que este script viola as regras do Greasy Fork, denuncie-o para remoção.

Inicie sessão para publicar uma avaliação, comentário ou pergunta.