Re: Tag sur git mais pas sur gitea

Alors je viens de regarder.
Le debardeur se fie a la date de dernière modification de chaque projet donnée par l’API gitea pour savoir si il doit redemander la listes de tags d’un projet.
Mais subtilité : quand on pose juste un tag ça ne compte visiblement pas pour impacter la date de modification d’un projet en tout cas vu par l’API gitea.
Donc le debardeur se dit qu’il n’y a rien de nouveau à aller voir et ne remets pas à jour la liste des tags.

Je vais regarder pour mettre un delai maxi de cache à cet endroit : même si le projet ne semble pas avoir bougé, si on a cache de plus de Xheures on redemande la liste des tags

(Alternative : il suffit de pusher un commit pour débloquer la situation, la légende urbaine à propos de smart paquet devient vraie avec le debardeur)

Bref, ici j’ai forcé manuellement, le tag est descendu, il va remonter sur plugins.spip rapidement maintenant

--
Cédric
Le 9 avr. 2020 à 00:00 +0200, Gildas Cotomale <[email protected]>, a écrit :
> [...]
> > > https://git.spip.net/spip-contrib-extensions/formidable_participation/src/tag/v1.9.0
> [...]
> > hum, mais il est pas ici
> >
> > https://git.spip.net/spip-contrib-extensions/formidable_participation/releases
> >
> ça c'est pas automatix ^^
>
> > on le trouve pas non plus sur
> > plugins.spip.net, alors que normalement le débardeur est censé s'appyuer
> > sur les tags...
> >
> > c'est bizarre
> >
> les tags oui, pas les releases.
> mais en effet, étrange qu'il soit pas débardé ; faut patienter un peu
> …ou Cerdic peut nous en dire plus ?
> _______________________________________________
> liste: https://listes.rezo.net/mailman/listinfo/spip-dev
> doc: https://www.spip.net/
> dev: https://core.spip.net/
> irc://irc.freenode.net/spip