Re: Pusher un tag
nicod_ <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Le 16/04/2020 à 21:53, JLuc 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# Chez moi un git push envoie le tag aussi, en vérifiant ma config je me rends compte que ça doit être à cause de ce paramètre dans ~/.gitconfig : [push] default = simple followTags = true En fait, j'ai repris une bonne partie de la config proposée par Delicious Insight, ainsi que leur prompt (un peu adapté), super utile : https://delicious-insights.com/fr/articles/apprendre-git/ (dans Installation et Configuration, "configuration partagée") -- nicod_