GitHub Sourcegraph Button

An userscript to add "Sourcegraph" button on github.

< Rückmeldungen auf GitHub Sourcegraph Button

Rezension: OK - Skript funktioniert, hat aber Fehler

§
Veröffentlicht: 15.04.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.

Antwort schreiben

Anmelden um eine Antwort zu senden.