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 :
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 ?

_______________________________________________
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

Répondre à