Add Sourcegraph Button to GitHub

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

Autore
whtsky
Installazioni giornaliere
0
Installazioni totali
50
Valutazione
1 0 0
Versione
5
Creato il
11/11/2019
Aggiornato il
18/06/2020
Dimensione
2,21 KB
Licenza
Non disponibile
Applica a

Puoi provare anche questi scripts collegati:

  • 🏷️ UTags - Aggiungi tag utente ai collegamenti - Migliora la tua esperienza di navigazione aggiungendo tag personalizzati e note a utenti, post e video sul web. Perfetto per organizzare contenuti, identificare utenti e filtrare post indesiderati. Funziona anche come strumento moderno di gestione dei segnalibri. Supporta oltre 100 siti web popolari, tra cui X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e molti altri.
  • 🏷️ UTags - Aggiungi tag utente ai collegamenti - staging - Migliora la tua esperienza di navigazione aggiungendo tag personalizzati e note a utenti, post e video sul web. Perfetto per organizzare contenuti, identificare utenti e filtrare post indesiderati. Funziona anche come strumento moderno di gestione dei segnalibri. Supporta oltre 100 siti web popolari, tra cui X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch e molti altri.
  • Github Find Active Forks [Embeded Edition] - Trova i fork più attivi di un repository github.
  • PlumFont - Sostituisci Roboto, Segoe UI, Arial e altri font - Sostituisci i font delle pagine web con quelli preferiti. Smetti di usare Segoe UI, Arial e Microsoft YaHei. Sostituisci i numeri inglesi con i font SF Pro e Inter.
  • Pulsante Relativo ai Commits di GitHub: Bordo Nero e Testo Blu su Giallo - Il pulsante di registrazione dei Commits di GitHub è circondato da un bordo nero, visualizzato in carattere blu e evidenziato con uno sfondo giallo