Re: Les PR sont coincées dans le tuyau

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.

Le 08/04/2021 à 14:53, cam.lafit a écrit :
> Hello
> 
> C'est toujours sur le feu. Je n'ai pas eu le temps d'investiguer plus
> pour le moment.
> 
> Km
> 
> Le 02/04/2021 à 12:03, cam.lafit a écrit :
>> 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
>>
>>
>> Le 30/03/2021 à 19:40, cam.lafit a écrit :
>>> 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