Re: Pusher un tag
Eric Lupinacci <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <CAM6W4baEwxWBi0Mz8GWLwjckFeUgvs-T1kn-J=gEzfSkORazRw@mail.gmail.com> |
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 Le jeu. 16 avr. 2020 à 21:53, JLuc <[email protected]> a écrit : > Bonjour, > > suite à un petit fix sur facteur, j'ai créé hier localement un tag : > git tag -a v4.0.4 -m "Les sujets des mails peuvent désormais contenir des > '?' même avec l'option 'convertir en iso'" > que j'ai ensuite pushé > git push > mais aprés 24h+ il n'est pas arrivé sur git.spip : > https://git.spip.net/spip-contrib-extensions/facteur# > > que faire ? > JL > > _______________________________________________ > liste: https://listes.rezo.net/mailman/listinfo/spip-dev > doc: https://www.spip.net/ > dev: https://core.spip.net/ > irc://irc.freenode.net/spip >