Re: Pusher un tag
JLuc <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Le 17/04/2020 à 12:39, nicod_ a écrit : merci pour ces précisions. (j'avais effectivement suivi ce que dans un précédent mail tu indiquais faire : un simple "git push"). JL > 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")