☰

[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

Penulis
HKR
Pemasangan harian
0
Total pemasangan
4
Nilai
0 0 0
Versi
1.0
Dibuat
21 Juli 2021
Diperbarui
22 Juli 2021
Size
1,06 KB
Lisensi
N/A
Berlaku untuk

You can also try these related scripts:

  • 🤠 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 pengunduh folder - Tambahkan tombol unduh，Memungkinkan pengunduhan yang spesifik dengan mudah GitHub map。
  • Github Daftar bahasa kode menunjukkan semuanya - Memperluas Github Daftar bahasa di repositori，Tunjukkan setiap bahasa，Daripada menyembunyikan bagian-bagian kecil di dalamnya“lainnya”Turun
  • Asisten lompat cepat gudang GitHub - 🤠 Asisten lompat cepat gudang GitHub, dirancang khusus untuk membantu pengguna mengakses gudang mereka sendiri dengan cepat di GitHub. Ini menghasilkan tombol di bagian atas bilah navigasi. Klik untuk memperluas semua repositori Anda dan dengan mudah melompat ke halaman repositori GitHub Anda sendiri tanpa menggunakan menu sekunder GitHub.
  • Buka tautan JSDELIVR di GitHub - Buka tautan github di jsdelivr untuk mengunduh file dengan cepat