☰

Add Sourcegraph Button to GitHub

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

Auteur
whtsky
Installations quotidiennes
0
Installations (total)
50
Notes
1 0 0
Version
5
Créé
11/11/2019
Mis à jour
18/06/2020
Taille
2,21 ko
Licence
N/A
S'applique à

Vous pouvez également essayer ces scripts connexes :

  • 🏷️ UTags - Ajouter des tags utilisateur aux liens - staging - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.
  • GitHub téléchargeur de dossiers - Ajouter un bouton de téléchargement，Permet de télécharger facilement des fichiers spécifiques GitHub dossier。
  • PlumFont - Remplacez Roboto, Segoe UI, Arial et autres polices - Remplacez les polices des pages Web par celles de votre choix. Arrêtez d'utiliser Segoe UI, Arial et Microsoft YaHei. Remplacez les chiffres anglais par les polices SF Pro et Inter.
  • 🏷️ UTags - Ajouter des tags utilisateur aux liens - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.
  • Copilot de masquage GitHub - Cacher un copilote stupide sur github