☰

Add Sourcegraph Button to GitHub

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

Autor
whtsky
Installationen heute
0
Installationen gesamt
50
Bewertungen
1 0 0
Version
5
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:

  • 🏷️ UTags - Benutzer-Tags zu Links hinzufügen - Verbessern Sie Ihr Browsing-Erlebnis, indem Sie benutzerdefinierte Tags und Notizen zu Benutzern, Beiträgen und Videos im Web hinzufügen. Perfekt zum Organisieren von Inhalten, Identifizieren von Benutzern und Filtern unerwünschter Beiträge. Funktioniert auch als modernes Lesezeichen-Management-Tool. Unterstützt über 100 beliebte Websites, darunter X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch und viele mehr.
  • 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.
  • GitHub Webansicht zur Anzeige von Informationen übermitteln - Dieses Skript wird GitHub Die Einreichungsinformationen zu HTML Sicht，um die Einreichungsdetails klarer zu sehen。Die Informationsliste wird automatisch übermittelt、Der Commit-Header und die neuesten Commit-Informationen werden konvertiert HTML Format，Bieten Sie bessere visuelle Effekte und ein besseres Benutzererlebnis。
  • GitHub zeigt Datei- und Ordnergrößen an - Zeigt die Größe jeder Datei und jedes Ordner im GitHub -Repository an. Es verwendet die GitHub -API, um Details zu erhalten, einschließlich rekursiver Ordnergrößen, wodurch die Gesamtgröße verschachtelter Verzeichnisse leicht erkennen kann. Dateigröße in KB, MB oder GB anzeigen
  • ExpandExpandExpand++ - Modifikation von "GitHub PR: expand, expand, expand!" mit mehreren kleinen Verbesserungen.