Re: Les PR sont coincées !
"cam.lafit" <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Hello Merci pour l'alerte j'étais en mode semi déconnecté. C'est en effet la mise à jour qui posait problème. Lors du rédemmarage de la forge, le processus dédié à la gestion des PR ne s'est pas lancé. Cela semble maintenant corrigé. Bonne année :) Camille Le 30/12/2020 à 11:06, Cerdic a écrit : > Hello Camille, > > je sais pas si c’est lié à la mise à jour, mais toutes les PR > de https://git.spip.net/spip/spip/ > <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 > <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 _______________________________________________ liste: https://listes.rezo.net/mailman/listinfo/spip-dev doc: https://www.spip.net/ dev: https://core.spip.net/ irc://irc.freenode.net/spip