title: "Tutoriel git : branches"
Lorsque l'on fait des commits successifs, ceux-ci sont ajoutés les uns à la suite des autres, sur une même branche. Git permet également, à partir d'un commit donné, de réaliser plusieurs branches en parallèle. Les branches peuvent ensuite être fusionnées, abandonnées ou même supprimées.
L'utilisation des branches est très naturelle avec git et permet d'organiser le
déroulement du projet. Souvent, on utilise une branche principale master
qui
"doit toujours fonctionner" et, pour chaque fonctionnalité à ajouter, on dérive
une nouvelle branche que l'on fusionne ensuite dans le master
une fois la
fonctionnalité réalisée (ou partiellement réalisée) et testée.
La commande git branch
permet d'afficher les branches.
On peut avoir plus d'information avec la commande git log --graph --oneline --decorate
.
Sur le graphe des commits, on indique la branche courant avec un *
.
La command git branch ...
permet de créer de nouvelles branches.
La commande git checkout ...
permet de sélectionner une branche.
Les nouveaux commits sont alors effectués pour la branche sélectionnée.
Par exemple, si on modifie le fichier paper.tex
et qu'on commite ensuite :
Le master
est une branche comme les autres qu'on peut également sélectionnée.
Pour fusionner des branches, il faut d'abord sélectionner la branche qui doit
recevoir les modifications puis utiliser la commande git merge
en précisant
la branche qu'il faut intégrer dans la branche courante.
Un nouveau commit, correspondant à la fusion, est alors créé. On peut le
vérifier avec un git log
...
... ou avec un client graphique.
Lorsque l'on crée une branche, celle-ci est locale au dépôt. Pour la créer et
l'envoyer également sur le serveur, il faut utiliser la commande git push
--set-upstream ...
. Ainsi, la branche locale et la branche distante seront
associées et il suffira ensuite d'un push classique de la branche locale pour
l'envoyer sur le serveur.
Par exemple, pour créer et envoyer la branche intro_papier
sur le dépôt distant origin
:
On peut également voir sur le site gogs que la branche a bien été créée sur le serveur.
La commande git ls-remote
permet de lister les branches distantes.
Pour terminer une branche locale (c'est-à-dire supprimer l'étiquette correspondante dans le dépôt local), il faut d'abord sélectionner une autre branche...
... puis utiliser la commande git branch -d ...
.
Pour terminer une branche distante (c'est-à-dire supprimer l'étiquette
correspondante sur le serveur), il faut utiliser la commande git push --delete
...
Généralement, vouloir supprimer un commit déjà envoyé sur le serveur est une mauvaise idée. En effet, en plus de perdre les données sauvegardées, cela peut casser les commits d'un collaborateur qui aurait déjà récupéré et continué les commits en question, donc il vaut mieux commiter des corrections.
Mais si c'est vraiment ce que vous voulez faire, voici la procédure (pensez à vérifier que les commits locaux sont également supprimés sinon les commits supprimés sur le serveur seront de nouveau envoyés au prochain push).
Souvent, on crée des commits au fur et à mesure, pour sauvegarder et partager
les modifications. Mais pour certaines applications, on peut vouloir un graphe
de commits "plus propre", où les commits doivent suivre une structure
prédéterminée, ou au contraire les réorganiser a posteriori. Git offre des
fonctionnalités pour cela : regrouper des commits, les déplacer, etc... Ces
fonctionnalités ne sont pas traitées dans ce tutoriel (voir la documentation
sur les git rebase
).
Résumé des commandes git précédentes :
---|---|
git branch
| afficher la liste des branches |
git log --graph --oneline --decorate
| afficher le graph des commits |
git ls-remote
| afficher la liste des branches distantes |
git branch <nom>
| créer une nouvelle branche locale |
git checkout <branche>
| sélectionne une branche |
git merge <branche>
| fusionne une branche dans la branche courante |
git push --set-upstream <remote> <branche>
| envoie la branche courante dans une branche distante |
git branch -d <branche>
| supprime une branche locale (enlève l'étiquette) |
git push --delete <remote> <branche>
| supprime une branche distante |
Quelques conseils de méthode de travail :
master
"qui marche tout le temps".master
une fois les modifications commitées.b1
, faites quelques commits dans b1 puis
fusionnez-les dans le master.b1
sur le serveur et vérifiez que vous la voyez sur la
page web du serveur.b2
à partir du commit précédant le master courant, faites
quelques commits dans b2
puis fusionnez-les dans le master.b1
et vérifiez le graphe des commits avec le client
git console et avec un client graphique.b2
sur le serveur puis supprimez-la sur le dépôt local puis
sur le dépôt distant.