Re: [spip-dev] Plus de merge request sur git.spip

2020-07-15 Par sujet cam.lafit
Salut Bonne nouvelle, je me note dans la process que le répertoire de cache "indexers" reste chatouilleux. Km Le 15/07/2020 à 14:36, Bruno Bergot a écrit : Super, ça fonctionne de nouveau, j'ai pu merger deux PR en attente. Merci. ++ b_b Le 15/07/2020 à 13:59, cam.lafit a écrit :

Re: [spip-dev] Plus de merge request sur git.spip

2020-07-15 Par sujet Bruno Bergot
Super, ça fonctionne de nouveau, j'ai pu merger deux PR en attente. Merci. ++ b_b Le 15/07/2020 à 13:59, cam.lafit a écrit : 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

Re: [spip-dev] Plus de merge request sur git.spip

2020-07-15 Par sujet nicod_
Oui, j'ai remarqué aussi que c'était revenu apparemment. Le 15/07/2020 à 13:59, cam.lafit a écrit : 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 ? --

Re: [spip-dev] Plus de merge request sur git.spip

2020-07-15 Par sujet cam.lafit
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

Re: [spip-dev] Plus de merge request sur git.spip

2020-07-15 Par sujet cam.lafit
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

Re: [spip-dev] Plus de merge request sur git.spip

2020-07-14 Par sujet cam.lafit
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

[spip-dev] Plus de merge request sur git.spip

2020-07-14 Par sujet Bruno Bergot
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