Re: Pusher un tag

Le vendredi 17 avril 2020 à 12:24 +0200, nicod_ 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.
> 
tu as du activé une option quelque part...