Dans un dépôt Git, comment renommer correctement un répertoire?

Question

Dans un dépôt Git, comment renommer correctement un répertoire? Je pense qu'il devrait fonctionner pour copier le répertoire à renommer dans un nouveau répertoire avec le nom désiré, et supprimer l'ancien répertoire , et git add , git commit et push tout. Mais est-ce la meilleure façon?

Answer 1

 git mv <old name> <new name>
 

suivi de commit et push serait le moyen le plus simple.

Answer 2

Vous pouvez renommer le répertoire à l'aide du système de fichiers. Ensuite, vous pouvez faire git rm <old directory> et git add <new directory> ( page d'aide ). Ensuite, vous pouvez commettre et pousser.

Git détectera que le contenu est identique et qu'il ne s'agit que d'une opération de renommage, et il apparaîtra comme une entrée de renommage dans l'historique. Vous pouvez vérifier que c'est le cas avant la validation en utilisant git status

Answer 3

Renommez simplement le dossier. git est un "content-tracker", donc les hash SHA1 sont les mêmes et git sait que vous le renommez. La seule chose qui change est l'arbre-objet.

 rm <directory>
git add .
git commit