Add Sourcegraph Button to GitHub

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

Dovrai installare un'estensione come Tampermonkey, Greasemonkey o Violentmonkey per installare questo script.

You will need to install an extension such as Tampermonkey to install this script.

Dovrai installare un'estensione come Tampermonkey o Violentmonkey per installare questo script.

Dovrai installare un'estensione come Tampermonkey o Userscripts per installare questo script.

Dovrai installare un'estensione come ad esempio Tampermonkey per installare questo script.

Dovrai installare un gestore di script utente per installare questo script.

(Ho già un gestore di script utente, lasciamelo installare!)

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione come ad esempio Stylus per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

Dovrai installare un'estensione per la gestione degli stili utente per installare questo stile.

(Ho già un gestore di stile utente, lasciamelo installare!)

Autore
whtsky
Installazioni giornaliere
0
Installazioni totali
51
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:

  • My Prompt - Ottimizza il tuo flusso di lavoro e trasforma l'IA nel tuo agente personale! Salva e organizza tutti i tuoi prompt nella libreria personale. Esplora la Modalità Prompt Dinamico per creare prompt interattivi. Eleva prompt semplici a qualità professionale con Migliora con IA e allega automaticamente file ricorrenti. Perfetto per aumentare la produttività su ChatGPT, Gemini, Grok, DeepSeek e altri LLM.
  • GitHub Ordina per data - Cambia l’ordinamento dei file in discendente per data,Visualizza comodamente gli ultimi file aggiornati。
  • Github salta a Deepwiki - Github Repository salta a Deepwiki, supporta desktop e dispositivi mobili
  • Assistente di salto rapido del magazzino GitHub - 🤠 Assistente di salto rapido del magazzino GitHub, appositamente progettato per aiutare gli utenti ad accedere rapidamente ai propri magazzini su GitHub. Genera un pulsante nella parte superiore della barra di navigazione. Fai clic per espandere tutti i tuoi repository e passare facilmente alla pagina del tuo repository GitHub senza utilizzare il menu secondario di GitHub.
  • Github Find Active Forks [Embeded Edition] - Trova i fork più attivi di un repository github.