GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

< Opiniones de GitHub Sourcegraph Button

Puntuación: Pasable; el script funciona, pero tiene carencias importantes

§
Publicado: 15/4/2021

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 back from Sourcegraph to GitHub. Refreshing the page fixes that, but it’s a little annoying.

Publicar respuesta

Inicia sesión para responder.