Re: Pusher un tag
Maïeul Rouquette <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Le 20/04/2020 à 10:54, [email protected] a écrit : > salut, > j'ai mis un nouveau tag v3.4.1 sur PAYS après une petite correction : > https://git.spip.net/spip-contrib-extensions/pays/src/tag/v3.4.1 > En local j'avais supprimé la v3.4.0 avec > git tag -d v3.4.0 > mais la commande > git push --tags > n'a pas poussée la suppression. > Comment dois-je faire ? > > > Le 16/04/2020 à 23:08, Maïeul Rouquette a écrit : >> git push --tags > > -- > > ---- > chan > > a priori tu n'a pas à supprimer le tags, on garde les tags historiques. La seule supprression que tu aurais à faire c'est si le tags était erronnées (mauvais numero, tagage sur une version qui n'aurait pas du l'être) Cela étant la technique git push origin :<tags> mais là tel que tu présente il faudrait conserver ce v3.4.0