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 :

My Prompt - Optimisez votre flux de travail et transformez l'IA en votre agent personnel ! Enregistrez et organisez tous vos prompts dans votre bibliothèque personnelle. Découvrez le Mode Prompt Dynamique pour créer des prompts interactifs. Portez vos prompts simples à un niveau professionnel grâce à Améliorer avec l'IA et joignez automatiquement les fichiers récurrents. Idéal pour booster votre productivité sur ChatGPT, Gemini, Grok, DeepSeek et autres LLM.
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.
Github Find Active Forks [Embeded Edition] - Trouver les forks les plus actifs d'un dépôt github.
Bouton Lié aux Commits de GitHub : Bordure Noire & Texte Bleu sur Jaune - Le bouton d'enregistrement des Commits de GitHub est entouré d'une bordure noire, affiché en police bleue et mis en évidence avec un fond jaune