Add Sourcegraph Button to GitHub

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

Autore

whtsky

Installazioni giornaliere

Installazioni totali

Valutazione

1 0 0

Versione

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.
GitHub downloader di cartelle - Aggiungi un pulsante di download，Consente un facile download di specifici GitHub cartella。
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.
Github Find Active Forks [Embeded Edition] - Trova i fork più attivi di un repository github.
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