Dans un dépôt distant, vous ne pouvez pas vous contenter de changer le nom d’une branche Git, car cela entraînerait des complications. À la place, vous devez supprimer l’ancien nom, puis ajouter la branche avec le nouveau nom. Heureusement, cela reste relativement facile, et c’est faisable en utilisant quelques commandes simples. De même que pour la branche locale, deux options s’offrent à vous :
Pour commencer, assurez-vous que la branche locale dispose du nouveau nom correct. La commande ad hoc est « git branch –a ».
- À présent, supprimez la branche qui porte l’ancien nom incorrect du dépôt distant. Pour ce faire, utilisez la commande suivante : « git push origin --delete alter-name ».
- Vérifiez que l’ancienne branche a été correctement supprimée.
- Ajoutez à présent la branche avec le bon nom. Pour cela, utilisez la commande « git push origin -u new-name ».
- Enfin, effectuez une réinitialisation de la branche en amont pour vous assurer que les changements prennent effet.
Cependant, si vous souhaitez renommer la Branche Git distante à l’aide d’une seule commande, vous disposez également de l’option suivante.
- Entrez la commande suivante : « git push origin :old-name new-name ».
- Effectuez ensuite également une réinitialisation de la branche amont comme décrit ci-dessus.