☰

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.
  • 🏷️ UTags - Benutzer-Tags zu Links hinzufügen - staging - 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.
  • 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