Re: Les PR sont coincées dans le tuyau
"cam.lafit" <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Hello Ok c'est le même symptôme que l'autre fois. Je vois avec nos amis de gitea, lors de la mise à jour j'ai normalement suivi la procédure pour ne pas avoir ce problème. Km Le 30/03/2021 à 13:47, Cerdic a écrit : > Pardon oui, c’est mieux avec une URL > > https://git.spip.net/spip/spip/pulls/145 > <https://git.spip.net/spip/spip/pulls/145> > https://git.spip.net/spip/spip/pulls/144 > <https://git.spip.net/spip/spip/pulls/144> > https://git.spip.net/spip/spip/pulls/142 > <https://git.spip.net/spip/spip/pulls/142> > https://git.spip.net/spip/spip/pulls/140 > <https://git.spip.net/spip/spip/pulls/140> > > par exemple > > -- > Cédric > Le 30 mars 2021 à 12:34 +0200, cam.lafit <[email protected]>, a écrit : >> Hello >> >> Une url pour que je vois un cas pratique ? >> >> Km >> >> Le 30/03/2021 à 11:54, Cerdic a écrit : >>> Hello, >>> >>> Gitea nous dit : >>> >>> "Vérification des conflits de fusion en cours. Réessayez dans quelques >>> instants." >>> >>> Mais comme il a pas dit « Jacques à dit » ça vaut pas. >>> Enfin là ça vaut quand même mais c’est bien embêtant... >>> >>> -- >>> Cédric >>> >>> _______________________________________________ >>> 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