Re: Pusher un tag
Eric Lupinacci <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Yep, > Le 17 avr. 2020 à 12:24, nicod_ <[email protected]> a écrit : > > Le 16/04/2020 à 23:08, Maïeul Rouquette a écrit : >> Le 16/04/2020 à 22:40, Eric Lupinacci a écrit : >>> Je pense que git push pousse par défaut uniquement ton master. Or la tu veux pousser un tag. Donc il faut pousser tous les tags en faisant git push --tags >>> >>> >> oui, et je conseillerai de faire dans l'ordre >> git push >> git push --tags >> et pas l'inverse (je crois que j'ai eu des problèmes de synchros svn dans l'autre sens) > > Chez moi un simple git push envoie les tags aussi. > Je crois qu’il est possible d’avoir une config générale pour ça. Dans les GUI comme sourceTree tu as une case à cocher qui dit « envoyer tous les tags » en gros. Mais par défaut, tu n’envoies que le master il me semble. Tu peux regarder ton gitconfig pour voir stp ? ++ Eric _______________________________________________ liste: https://listes.rezo.net/mailman/listinfo/spip-dev doc: https://www.spip.net/ dev: https://core.spip.net/ irc://irc.freenode.net/spip