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

Penulis
whtsky
Pemasangan harian
0
Total pemasangan
50
Nilai
1 0 0
Versi
5
Dibuat
11 November 2019
Diperbarui
18 Juni 2020
Size
2,21 KB
Lisensi
N/A
Berlaku untuk

You can also try these related scripts:

  • GitHub pengunduh folder - Tambahkan tombol unduh,Memungkinkan pengunduhan yang spesifik dengan mudah GitHub map。
  • GitHub menampilkan ukuran file dan folder - Menampilkan ukuran setiap file dan folder di repositori GitHub. Ini menggunakan API GitHub untuk mendapatkan detail, termasuk ukuran folder rekursif, membuatnya mudah untuk melihat ukuran total direktori bersarang. Tampilkan ukuran file di KB, MB, atau GB
  • 🤠 Github meningkatkan ukuran tampilan asisten gudang - 🤠 Ukuran tampilan gudang: Pada pencarian kode GitHub, pencarian gudang, halaman penerbitan, daftar gudang pengguna, dan halaman repositori, ukuran gudang akan ditampilkan di sebelah nama gudang, memungkinkan pengguna dengan cepat memahami skala gudang dan mengoptimalkannya pilihan. Peringatan pengembangan tidak aktif: Jika repositori belum diperbarui dalam enam bulan terakhir, sistem akan menambahkan perintah di bagian atas repositori untuk mengingatkan pengguna bahwa repositori tidak aktif dan
  • GitHub Percantik daftar file - GitHub File List Beautifier adalah skrip pengguna,digunakan untuk meningkatkan GitHub Menampilkan efek file di gudang。Itu dapat menambahkan warna pada file dan folder,dan ganti ikon jenis file dengan gambar kecil,Membuat basis kode lebih mudah dijelajahi dan dikelola。Tambahkan warna dan ikon ke file berdasarkan jenisnya,Tampilkan gambar kecil sebagai pengganti ikon jenis file di pohon sumber repositori
  • GitHub Konfirmasikan otorisasi perangkat secara otomatis - adaGitHubHalaman otorisasi secara otomatis memasukkan kode otorisasi dan secara otomatis mengonfirmasinya.。