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!)

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!)

Autor
whtsky
Instalări zilnice
0
Total instalări
50
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:

  • GitHub folder downloader - Adăugați un buton de descărcare,Permite descărcarea ușoară a anumitor GitHub pliant。
  • 🤠 Dimensiunea de afișare a depozitului a asistentului îmbunătățit Github - 🤠 Dimensiunea afișajului depozitului: în căutarea codului GitHub, căutarea depozitului, pagina de probleme, lista de depozit de utilizatori și pagina de depozit, dimensiunea depozitului va fi afișată lângă numele depozitului, permițând utilizatorilor să înțeleagă rapid dimensiunea depozitului și să își optimizeze selecţie. Avertisment de dezvoltare inactivă: Dacă un depozit nu a fost actualizat în ultimele șase luni, sistemul va adăuga o solicitare în partea de sus a magaziei pentru a le reamint
  • Găsește comitul inițial Github - Acest lucru va ajuta utilizatorii să obțină un buton pe care să dea clic până la sfârșitul paginii de commituri Github
  • Căutător de adrese de e -mail Github - Utilizați datele despre evenimente publice (de exemplu, o trimitere împinsă către o bază de cod public), obțineți adresa de e -mail de trimitere a utilizatorului și afișați -o pe pagina de profil. În plus, adaugă și un buton „Copiere în clipboard” convenabil pentru o copiere ușoară.
  • Buton Legat de Commits pe GitHub: Margine Neagră și Text Albastru pe Galben - Butonul de înregistrare a Commits pe GitHub este înconjurat de o margine neagră, afișat cu font albastru și evidențiat cu fundal galben