[spip-dev] Les PR sont coincées dans le tuyau

Hello,

Gitea nous dit :

"Vérification des conflits de fusion en cours. Réessayez dans quelques instants."

Mais comme il a pas dit « Jacques à dit » ça vaut pas.
Enfin là ça vaut quand même mais c’est bien embêtant...

Hello

Une url pour que je vois un cas pratique ?

Km

Pardon oui, c’est mieux avec une URL

https://git.spip.net/spip/spip/pulls/145
https://git.spip.net/spip/spip/pulls/144
https://git.spip.net/spip/spip/pulls/142
https://git.spip.net/spip/spip/pulls/140

par exemple

Hello

Ok c'est le même symptôme que l'autre fois. Je vois avec nos amis de
gitea, lors de la mise à jour j'ai normalement suivi la procédure pour
ne pas avoir ce problème.

Km

Hello

Je confirme le bogue. Cela ne ressemble pas au même problème que l'autre
fois.
L'investigation est toujours en cours.

Km

Hello

Il semblerait qu'il y ait un délai dans le contrôle des PR.
De mon coté je vois que les options de gestion reviennent sur certaines
d'entre elles.

Km

Hello

C'est toujours sur le feu. Je n'ai pas eu le temps d'investiguer plus
pour le moment.

Km

Hello

Suite à la mise à jour de hier, le problème devrait être réglé pour de bon.
La gestion de la PR est disponible sur
https://git.spip.net/spip/spip/pulls/142

Note : il sera possible aussi de noter un PR fusionner même suite à un
traitement manuel.