Re: Les PR sont coincées dans le tuyau

Pardon oui, c’est mieux avec une URL

https://git.spip.net/spip/spip/pulls/145
https://git.spip.net/spip/spip/pulls/144
https://git.spip.net/spip/spip/pulls/142
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