
Les Différents Types de Tags et Leur Utilisation
Objectifs
Les objectifs de cette vidéo sont d'expliquer la différence entre les tags légers et lourds, de montrer comment créer chaque type de tag et de détailler les commandes pour partager et supprimer des tags.
Résumé
Apprenez la notion de tags sous Git, découvrez les différences entre tags légers et lourds et comprenez comment créer et utiliser ces tags.
Description
Dans cette leçon, nous explorons en détail la notion de tags sous Git. Contrairement aux branches, qui sont des références mobiles vers des commits, les tags sont des références fixes. Git propose deux types de tags : les tags légers et les tags lourds. Les tags lourds contiennent des informations détaillées comme l'auteur, la date de création et une signature SHA-1, tandis que les tags légers sont de simples références.
Nous verrons comment créer ces tags avec les commandes appropriées. Pour un tag léger, utilisez simplement git tag
suivi du nom du tag. Pour un tag lourd, ajoutez l'option -a
et un message avec -m
. Nous expliquerons également quand et pourquoi utiliser chaque type de tag. Pour partager un tag, il est nécessaire d'utiliser l'option --tags
avec la commande git push
, sinon les tags ne sont pas partagés par défaut.
Enfin, nous aborderons la suppression de tags, tant en local qu'à distance, en utilisant des commandes similaires à celles utilisées pour les branches.
Questions fréquentes
git push --tags
.
Programme détaillé
Module 1 - Introduction et configuration
Module 2 - Les bases
Module 3 - La gestion des branches
Module 4 - La Synchronisation
Module 5 - Modifier son historique
Module 6 - Commandes utiles
