Add Sourcegraph Button to GitHub

Add a 'Sourcrgraph' Button on GitHub repository & file page.

Autor

whtsky

Installationen heute

Installationen gesamt

Bewertungen

1 0 0

Version

Erstellt am

11.11.2019

Letzte Aktualisierung

18.06.2020

Größe

2,21 KB

Lizenz

n/a

Wird angewandt auf

Sie können auch diese verwandten Skripte ausprobieren:

GitHub Ordner-Downloader - Fügen Sie einen Download-Button hinzu，Ermöglicht das einfache Herunterladen spezifischer GitHub Ordner。
ExpandExpandExpand++ - Modifikation von "GitHub PR: expand, expand, expand!" mit mehreren kleinen Verbesserungen.
Github Find Active Forks [Embeded Edition] - Finden Sie die aktivsten Forks eines Github-Repositorys.
Button zum Kopieren der Raw-Datei URL | Github - Fügt am Ende jeder Dateizeile eine Schaltfläche zum Kopieren der Raw File URL hinzu
PlumFont - Ersetzen Sie Roboto, Segoe UI, Arial und andere Schriftarten - Ersetzen Sie die Schriftarten von Webseiten durch Ihre bevorzugten. Hören Sie auf, Segoe UI, Arial und Microsoft YaHei zu verwenden. Ersetzen Sie englische Ziffern durch die Schriftarten SF Pro und Inter.