Re: Tag sur git mais pas sur gitea

Le jeudi 09 avril 2020 à 12:13 +0200, Gildas Cotomale a écrit :
> Le jeu. 9 avr. 2020 à 11:53, nicod_ a écrit :
> > 
> > Le 09/04/2020 à 11:24, Maïeul a écrit :
> 
> [...]
> > > En tout cas à lire les messages sur ce fil, il semblerait quand
> > > même que
> > > la logique dans gitea soit un tag = une release
> 
> J'ai là une instance de Gitea où je constate bien que ce n'est pas le
> cas.
> Peut-être une nouveauté que j'ai loupé et qui s'activerait en config ?
> (je vais mettre à jour mon instance, sans rien toucher à sa
> configuration et je verrai)
> 
si on en crois cette discussion
https://github.com/go-gitea/gitea/issues/6237

ce qui serait attendu c'est un tags = une release

Mais à la rigueur peu importe pour nous

> > J'ai créé hier un nouveau dépot sur spip-contrib-extensions :
> > https://git.spip.net/spip-contrib-extensions/opquast
> > 
> > Après avoir poussé le code dans le dépôt, j'ai créé un tag
> > localement
> > (git tag -a v1.0.0 -m "Version 1.0.0" et git push), et ça a bien
> > créé
> > une release côté Gitea, automatiquement.
> > 
> 
> Je pense que ce doit être une nouveauté ou des automatismes (crochets
> post poussée) sur le serveur.
> Et dans l'un de ces cas, à confirmer si c'est pour tous les tags ou
> seulement ceux annotés comme ici…

nope, il y a eu de tags non annotés, comme ici
https://git.spip.net/thrax/Essai/releases

_______________________________________________
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip