[spip-dev] Bug sur PR

Salut Camille,

plusieurs PR sur gitea sont bloqués dans un etat "vérification des conflits de fusion encours. Ressayez dans quelques minutes"

Je ne sais pas si tu avais vu passer mes notifs à ce sujet sur IRC hier

Je pense notamment à https://git.spip.net/spip-contrib-extensions/saisies/pulls/26

Mais j'en avais signalé d'autres

Maïeul