Qu’est-ce qu’une étiquette (tag) dans Git ?

Une étiquette, ou tag, dans Git est une référence utilisée pour marquer un point spécifique dans l’historique de votre dépôt. Cela peut être utile pour indiquer des versions importantes ou des jalons dans le développement. Les tags sont souvent utilisés pour les versions de production, par exemple v1.0, v2.1, etc.

Il existe deux types d’étiquettes dans Git :

• Les étiquettes légères : ce sont de simples pointeurs vers un commit spécifique.
• Les étiquettes annotées : ce sont des objets Git complets, contenant des informations supplémentaires comme le nom de l’auteur et la date de création.

Comment supprimer une étiquette locale dans Git ?

La suppression d’une étiquette locale dans Git est une opération relativement simple. Si vous souhaitez supprimer une étiquette qui existe uniquement dans votre dépôt local (votre machine), suivez les étapes ci-dessous :

1. Liste des tags existants

Avant de supprimer un tag, il peut être utile de vérifier la liste des tags présents dans votre dépôt local. Pour ce faire, utilisez la commande suivante :

git tag

Cette commande affichera tous les tags dans votre dépôt local.

2. Supprimer une étiquette locale

Pour supprimer une étiquette locale, utilisez la commande git tag -d, suivie du nom du tag à supprimer. Par exemple, pour supprimer l’étiquette v1.0, exécutez :

git tag -d v1.0

Cette commande supprimera l’étiquette de votre dépôt local, mais elle ne touchera pas les dépôts distants.

3. Vérifier la suppression

Pour vérifier que le tag a bien été supprimé, vous pouvez exécuter à nouveau la commande git tag. Le tag supprimé ne doit plus apparaître dans la liste.

Comment supprimer une étiquette distante dans Git ?

Si l’étiquette que vous souhaitez supprimer se trouve sur un dépôt distant, vous devez d’abord la supprimer localement, puis la supprimer du dépôt distant. Voici comment procéder :

1. Supprimer l’étiquette localement

Comme mentionné précédemment, utilisez la commande git tag -d pour supprimer l’étiquette localement. Par exemple :

git tag -d v1.0

2. Supprimer l’étiquette distante

Une fois l’étiquette supprimée localement, vous pouvez la supprimer du dépôt distant à l’aide de la commande git push avec l’option :refs/tags/, suivie du nom du tag. Par exemple, pour supprimer l’étiquette v1.0 du dépôt distant, exécutez :

git push origin --delete v1.0

Cette commande supprimera le tag du dépôt distant.

3. Vérifier la suppression sur le dépôt distant

Pour vérifier que l’étiquette a bien été supprimée du dépôt distant, vous pouvez utiliser la commande suivante :

git ls-remote --tags origin

Cette commande listera tous les tags du dépôt distant. Le tag supprimé ne doit plus y apparaître.

Que faire si le tag supprimé réapparaît sur le dépôt distant ?

Dans certains cas, si vous avez des collègues ou d’autres utilisateurs qui travaillent sur le même projet, il est possible que l’étiquette supprimée soit récupérée lors d’un git fetch ou d’un git pull de leur part. Pour éviter cela, il est recommandé d’effectuer les étapes suivantes :

• Informer votre équipe que l’étiquette a été supprimée.
• Demander à votre équipe d’exécuter la commande git fetch --prune --tags pour supprimer les tags distants obsolètes de leur côté.

Conclusion

Supprimer une étiquette dans Git est un processus relativement simple, que ce soit localement ou sur un dépôt distant. Il est important de garder à l’esprit que la suppression d’une étiquette d’un dépôt distant nécessite un peu plus de précaution, car il faut s’assurer que l’étiquette n’est pas récupérée par d’autres utilisateurs après sa suppression. En suivant les étapes décrites dans cet article, vous pourrez gérer vos tags Git de manière efficace et propre.