Re: Les PR sont coincées !
JLuc <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Merci pour le suivi ... mais ... Le passage à 2021 fait dérailler les notifications ! Les commits de fin 2020 sont notifiés à nouveau, pour le plaisir sûrement, sur irc ET sur les listes, et les nouveaux commentaires 2021 des tickets ne sont par notifiés sur irc (je sais pas pour les commits) ?? JL Le 31/12/2020 à 00:15, cam.lafit a écrit : > 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 > _______________________________________________ liste: https://listes.rezo.net/mailman/listinfo/spip-dev doc: https://www.spip.net/ dev: https://core.spip.net/ irc://irc.freenode.net/spip