Re: Les PR sont coincées dans le tuyau

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

Le 30/03/2021 à 14:07, cam.lafit a écrit :
> 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
> 
> Le 30/03/2021 à 13:47, Cerdic a écrit :
>> Pardon oui, c’est mieux avec une URL
>>
>> https://git.spip.net/spip/spip/pulls/145
>> <https://git.spip.net/spip/spip/pulls/145>
>> https://git.spip.net/spip/spip/pulls/144
>> <https://git.spip.net/spip/spip/pulls/144>
>> https://git.spip.net/spip/spip/pulls/142
>> <https://git.spip.net/spip/spip/pulls/142>
>> https://git.spip.net/spip/spip/pulls/140
>> <https://git.spip.net/spip/spip/pulls/140>
>>
>> par exemple
>>
>> -- 
>> Cédric
>> Le 30 mars 2021 à 12:34 +0200, cam.lafit <[email protected]>, a écrit :
>>> Hello
>>>
>>> Une url pour que je vois un cas pratique ?
>>>
>>> Km
>>>
>>> Le 30/03/2021 à 11:54, Cerdic a écrit :
>>>> 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...
>>>>
>>>> --
>>>> Cédric
>>>>
>>>> _______________________________________________
>>>> liste: https://listes.rezo.net/mailman/listinfo/spip-dev
>>>> doc: https://www.spip.net/
>>>> dev: https://core.spip.net/
>>>> irc://irc.freenode.net/spip
>>>>
>>> _______________________________________________
>>> liste: https://listes.rezo.net/mailman/listinfo/spip-dev
>>> doc: https://www.spip.net/
>>> dev: https://core.spip.net/
>>> irc://irc.freenode.net/spip
_______________________________________________
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip