cClaude.rocks ☕ Le blog

L'informatique et les nouvelles technologies

Menu

Sauvegarde

Pour faire une « copie de sauvegarde d’une branche » avec git rien de plus simple.

Il faut se mettre sur la branche à sauvegarder, puis simplement en créer une nouvelle.

git checkout branche_a_sauvegarder
git checkout -b branche_sauvegarde

Ensuite, vous pouvez travailler sur la branche de votre choix.

A notez que si la branche dont vous souhaitez une copie existe sur le serveur (et qu’elle n’est pas en retard), il est inutile de la sauvegarder en locale, puisque la branche distante sera inchangée tant que vous ne pousserez pas votre branche locale. Cela suppose bien évidement que personne ne travaille sur votre branche distante.

Renommer une branche

C’est exactement la même procédure, sauf qu’en plus, il faut supprimer (de force) la branche ayant l’ancien nom.

git checkout branche_ancien_nom
git checkout -b branche_nouveau_nom
git branch -D branche_ancien_nom

ᦿ


ℹ 2006 - 2020 | 🕸 Retour à l'accueil du domaine | 🏡 Retour à l'accueil du blog