Voici mon dépôt Git:
https://github.com/benqzq/ulcwe
Il a un répertoire nommé local
et je veux changer son nom en un autre nom (disons, de local
à xyz
).
Le changer manuellement via l'interface graphique de GitHub est un cauchemar car je dois changer le nom du répertoire pour chaque fichier séparément (GitHub n'a pas encore inclus une fonctionnalité "Renommer le répertoire", croyez-le ou non).
Après avoir installé Git, j'ai essayé cette commande:
git remote https://github.com/benqzq/ulcwe && git mv local xyz && exit
Bien que je n'ai reçu aucune invite pour mon mot de passe GitHub, j'ai eu cette erreur:
fatal: Not a git repository (or any parent up to mount point /mnt/c)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
Je sais que tout l'intérêt de Git est de télécharger un projet, de le modifier, de le tester, puis de le pousser vers le fournisseur d'hébergement (GitHub dans ce cas), mais pour simplement changer un répertoire, je souhaite une opération directe. Est-ce même possible avec Git?
Dois-je utiliser un autre programme peut-être?