GitHub Pull requests file path

This scripts converts shortened file paths (.../path/to/file) to full path (full/path/to/file)

Auteur

Péter Farkas

Installations quotidiennes

Installations (total)

Notes

0 0 0

Version

1.1

Créé

04/01/2018

Mis à jour

04/01/2018

Taille

1,12 ko

Licence

N/A

S'applique à

Vous pouvez également essayer ces scripts connexes :

🤠 Taille d’affichage de l’entrepôt de l’assistant amélioré Github - 🤠 Taille d’affichage de l’entrepôt : sur la recherche de code, la recherche d’entrepôt, la page de problèmes, la liste d’entrepôts d’utilisateurs et la page de référentiel de GitHub, la taille de l’entrepôt sera affichée à côté du nom de l’entrepôt, permettant aux utilisateurs de comprendre rapidement l’échelle de l’entrepôt et d’optimiser leur sélection. Avertissement de développement inactif : si un référentiel n’a pas été mis à jour au cours des six derniers mois, le système ajoutera une invi
GitHub Trier par date - Changer le tri des fichiers en décroissant par date，Visualisez facilement les derniers fichiers mis à jour。
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。
Github Find Active Forks [Embeded Edition] - Trouver les forks les plus actifs d'un dépôt github.
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.