Re: Plus de merge request sur git.spip

Bonjour

Je viens de purger un fichier de cache de gitea, je vois que l'option de 
merge est à nouveau disponible sur https://git.spip.net/spip/medias/pulls/4

Est ce le cas pour vous ?

Km

Le 15/07/2020 à 08:25, cam.lafit a écrit :
> Bonjour
> 
>> Mais pourquoi ça se met à ne plus marcher d'un coup ?
> 
> Si je le savais cela marcherait/serait réparé ou je n'aurais pas à 
> demander aux personnes qui maîtrisent mieux le sujet.
> 
>> Et pourquoi ce serait lié à Gitea, tu as fait une mise à jour pas 
>> annoncée ?
> 
> Parce que c'est gitea qu'on utilise et qu'on parle d'un problème dans 
> son interface.
> Je n'ai pas fait de mise à jour ces derniers jours. Dans la mesure du 
> possible j'essaye de tenir informé assez rapidement la liste, cf le fil 
> de discussion dédié.
> 
> On est à la version 1.12.1 , je sais avoir communiqué à ce propos sur 
> IRC. Toutefois je ne me souviens pas si j'ai fait la compilation des 
> évolution sur la liste.
> 
> 
> Km
> 
>>
>>
>> Le 14/07/2020 à 23:03, cam.lafit a écrit :
>>> Bonjour
>>>
>>> Merci pour la remontée d'information. Je demande à l'équipe gitea 
>>> s'il y a eu du changement à ce niveau.
>>>
>>>
>>> Merci
>>>
>>> Km
>>>
>>> Le 14/07/2020 à 20:21, Bruno Bergot a écrit :
>>>> Hop,
>>>>
>>>> Juste pour signaler, on ne peut plus effectuer de merge request sur 
>>>> git.spip.net, exemple https://git.spip.net/spip/medias/pulls/4 qui 
>>>> affiche continuellement "Vérification des conflits de fusion en 
>>>> cours. Réessayez dans quelques instants.".
>>>>
>>>> On me signale que c'est aussi le cas pour d'autres repos hors de 
>>>> l'orga SPIP, bref ça semble global.
>>>>
>>>> ++
>>>> b_b
>>
>>