Les PR sont coincées !
Cerdic <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <88d409e3-c976-4dd4-b5ea-38120f30f942@Spark> |
Hello Camille, je sais pas si c’est lié à la mise à jour, mais toutes les PR de https://git.spip.net/spip/spip/ sont bloquées dans un état "Vérification des conflits de fusion en cours. Réessayez dans quelques instants." Au début j’ai cru que c’était parce que c’étaient des vieilles PR difficiles à traiter, mais même sur une PR toute simple et récente on a le problème https://git.spip.net/spip/spip/pulls/82 -- Cédric Le 22 déc. 2020 à 09:43 +0100, cam.lafit <[email protected]>, a écrit : > Bonjour > > De 10 à 11h le serveur git va basculer en maintenance. Il y a plusieurs > mises à jour de retard, alors je profite d'un petit créneau pour m'y coller. > > Km > _______________________________________________ > liste: https://listes.rezo.net/mailman/listinfo/spip-dev > doc: https://www.spip.net/ > dev: https://core.spip.net/ > irc://irc.freenode.net/spip