Outils pour utilisateurs

Outils du site


gestion_configuration:git:tags

Ceci est une ancienne révision du document !


Table des matières

Git Tags

Ajouter un tag

Ceci ajoute un tag lightweight:

$ git tag nom-du-tag

Push tag

Pour pousser un tag sur origin:

$ git push origin nom-du-tag

Il n'est pas recommandé de le faire, mais on peut pousser tous les tags:

$ git push --tags
gestion_configuration/git/tags.1479764971.txt.gz · Dernière modification : 2022/02/02 00:43 (modification externe)