Bruno Chareyre said: (by the date of Fri, 22 Feb 2019 16:38:04 +0100) > Yes, it was mentioned in earlier messages and it is an option. > If someone wants to try and migrate current content to gitlab.com that's > fine.
In fact we have an open issue for that ;) https://gitlab.com/yade-dev/trunk/issues/47 Bruno Chareyre said: (by the date of Fri, 22 Feb 2019 15:13:36 +0100) > In this event I'm considering getting the html doc back to its previous > place, it would avoid the hacky "gitlab.io" url substitution. More > precisely, yade-dem.org/doc would mirror yade-dev.gitlab.io/trunk/. yeah, would be nice to have the old address yade-dem.org/doc back. Not sure what would happen if we migrated wiki from https://yade-dem.org/wiki/Yade to https://gitlab.com/yade-dev/trunk/wikis/home then perhaps mirroring it back to https://yade-dem.org/wiki/Yade wouldn't be possible? And so we would have »the hacky "gitlab.io" url substitution« but in the wiki address. Janek _______________________________________________ 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
