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.
Bonjour
Merci pour la remontée d'information. Je demande à l'équipe gitea s'il y a eu du changement à ce niveau.
Merci
Km
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
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
Oui, j'ai remarqué aussi que c'était revenu apparemment.
Super, ça fonctionne de nouveau, j'ai pu merger deux PR en attente.
Merci.
Salut
Bonne nouvelle, je me note dans la process que le répertoire de cache "indexers" reste chatouilleux.
Km