groupe par dépôt sur github
C'est le script de tampermonkey. Avant de l'utiliser, assurez-vous d'avoir installé
Lorsque vous recherchez du code à l'aide de github, ce script peut vous aider à regrouper par dépôt
Installer
Cliquez sur le lien pour installer
Fonctionnalité
- Le script créera un bouton dans la page, regroupera par dépôt pour le résultat de la recherche lorsque vous cliquerez sur le bouton
- La nouvelle page comme l'instantané suivant
- Pages fusionnées : lorsque les résultats de la recherche sont paginés, la page sera automatiquement récupérée et mise à jour vers la page actuelle en temps réel. Si vous ne souhaitez pas continuer à charger du nouveau contenu, vous pouvez cliquer sur le bouton Abandonner à tout moment pour terminer la récupération.
- Lister tous les dépôts : le bloc d'assistance affiche tous les dépôts et informations, tels que les étoiles, la langue.
Merci
