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