Re: Plus de merge request sur git.spip
"cam.lafit" <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
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 ? >>