Outils pour utilisateurs

Outils du site


gestion_configuration:git:tags

Ceci est une ancienne révision du document !


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

Supprimer un tag

Localement:

$ git tag -d release01

Remote:

$ git push origin :refs/tags/release01

Source

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