Mémo Git · Tags
Publier un tag
git push origin <tag>
Un git push ordinaire n'envoie pas les tags. Pour publier un tag, lance git push origin <tag>. C'est souvent ce push qui déclenche la chaîne de publication d'une nouvelle version.
Ce que ça fait
Les tags ne partent pas avec un push ordinaire : ils se poussent explicitement.
Un cas d'usage
Ta chaîne de publication se déclenche à l'arrivée d'un tag « v* » sur le remote.
En ligne de commande
git push origin v1.2.0- Publie un tag.
git push --tags- Publie tous les tags locaux.
git push --follow-tags- Publie les commits et les tags annotés qui pointent dessus.
git config --global push.followTags true- Fait de
--follow-tagsle comportement par défaut.
Dans Merathon
- Section « Tags » du panneau de gauche, clic droit sur le tag → « Push vers <remote> ».
Questions fréquentes
Pourquoi mon tag n'apparaît-il pas sur GitHub ?
Il n'a pas été poussé : git push origin <tag>.
Comment récupérer les tags du remote ?
git fetch --tags.