Re: Pusher un tag

Petite question pratique : il n'est pas possible de créer un tag
directement depuis l'interface web de gitea ? Je vois bien comment créer
une branche mais je ne vois pas d'option pour créer un tag directement
depuis l'interface web.

Cdl
-- 
*Joseph LARMARANGE*
Cell. phone (France) : +33 6 62 06 51 82
Skype: joseph.larmarange



Le ven. 17 avr. 2020 à 13:27, JLuc <[email protected]> a écrit :

> 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")
>
>
>
> _______________________________________________
> liste: https://listes.rezo.net/mailman/listinfo/spip-dev
> doc: https://www.spip.net/
> dev: https://core.spip.net/
> irc://irc.freenode.net/spip
>