Add Sourcegraph Button to GitHub

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

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

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

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

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

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

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

Advertisement:

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Advertisement:

Autor
whtsky
Instalări zilnice
0
Total instalări
51
Rating-uri
1 0 0
Versiune
5
Creat
11-11-2019
Actualizat
18-06-2020
Size
2,21 KB
Licență
N/A
Se aplică pe

You can also try these related scripts:

  • My Prompt - Manager Universal de Prompturi pentru ChatGPT, Gemini, DeepSeek, Grok, Claude și alte LLM-uri. Optimizați fluxurile de lucru cu Îmbunătățirea Promptului, Prompturi Dinamice, Navigare Rapidă și Lipire Rapidă. Include Atașare Automată a Fișierelor, scurtături și personalizare completă. Suportă Prompturi Externe cu actualizare automată, ideal pentru standardizarea echipelor.
  • GitHub folder downloader - Adăugați un buton de descărcare,Permite descărcarea ușoară a anumitor GitHub pliant。
  • Github sare la Deepwiki - Depozitul Github sare la Deepwiki, acceptă desktop și mobil
  • Github Copiați fișierul original URL cu fișiere descărcate - butonul Adaugă la sfârșitul fiecărei linii de fișier,pentru a copia fișierul original URL și descărcați fișiere
  • Github ascunde copilotul - Ascunde copilot prost pe github