title: "Tutoriel git
introduction | installation | dépôt local | dépôt distant | branches | forks
"
output:
toc: true
Lorsque l'on crée successivement des commits, 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 --all --oneline --decorate
.
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.
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
.
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.
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), 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), 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 collègue qui aurait déjà récupéré et continué les commits en question, donc il vaut mieux committer 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).
Résumé des commandes git précédentes :
---|---|
git branch
| TODO |
git log --graph --all --oneline --decorate
| |
git ls-remote
| |
git branch ...
| |
git checkout ...
| |
git merge ...
| |
git push --set-upstream ...
| |
git branch -d ...
| |
git push --delete ...
| |
Quelques conseils de méthode de travail :
TODO
Dernière mise à jour : 2016-03-05