Instead of pushing from gitlab we pull latest artifacts from yade-dem.org.
Bruno
Le dim. 26 mai 2019 13:02, Janek Kozicki a écrit :
> Bruno Chareyre said: (by the date of Fri, 24 May 2019 12:33:31 +0200)
>
> > Everything is in the title. We are no longer switching to the gitlab.io
> > pages for the doc (they are actually mirrored, so they can serve as a
> > backup if yade-dem. org is down).
>
> I see that merge request
> https://gitlab.com/yade-dev/trunk/merge_requests/147
> is still open. How did you do this without it?
>
> Janek Kozicki
>
> ___
> Mailing list: https://launchpad.net/~yade-dev
> Post to : yade-dev@lists.launchpad.net
> Unsubscribe : https://launchpad.net/~yade-dev
> More help : https://help.launchpad.net/ListHelp
>
>
>
___
Mailing list: https://launchpad.net/~yade-dev
Post to : yade-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~yade-dev
More help : https://help.launchpad.net/ListHelp
