git tag supprimer et rajouter
Sur git hub, j'ai rajouté le tag en faisant:
git tag -d 12.15
git Push Origin :refs/tags/12.15
git tag -a 12.15 -m '12.15'
git Push --tags
La balise fait toujours référence à l'ancienne balise sur github, mais localement, elle est bien faite.
MISE À JOUR: Il semble que github répertorie le dernier commit incorrect, mais le télécharge correctement.
La référence est https://stackoverflow.com/a/5480292/1317035
Il vous suffit de pousser une référence "vide" au nom de la balise distante:
git Push Origin :tagname
Ou, plus expressivement, utilisez le --delete option:
git Push --delete Origin tagname
Pousser une branche, une balise ou une autre référence vers un référentiel distant implique de spécifier "Poussez où, quelle source, quelle destination?"
git Push where-to-Push source-ref:destination-ref
Un exemple concret où vous poussez votre branche principale vers la branche principale d'Origin est:
git Push Origin refs/heads/master:refs/heads/master
Qui, en raison des chemins par défaut, peut être raccourci en:
git Push Origin master:master
Les balises fonctionnent de la même manière:
git Push refs/tags/release-1.0:refs/tags/release-1.0
En omettant la référence source (la partie avant les deux-points), vous poussez "rien" vers la destination, supprimant la référence à l'extrémité distante.