Re: [Yade-dev] [Bug 1810283] Re: Wiki homepage broken

2019-02-22 Thread Bruno Chareyre
On 2/22/19 4:14 PM, Jan Stránský wrote: just a note concerning wiki, I know (but have no experience with them) that gitlab offers wiki pages. Maybe it would be worth moving also wiki within the gitlab migration.. Yes, it was mentioned in earlier messages and it is an option. If someone

Re: [Yade-dev] [Bug 1810283] Re: Wiki homepage broken

2019-02-22 Thread Jan Stránský
Hello, just a note concerning wiki, I know (but have no experience with them) that gitlab offers wiki pages. Maybe it would be worth moving also wiki within the gitlab migration.. cheers Jan pá 22. 2. 2019 v 15:13 odesílatel Bruno Chareyre < bruno.chare...@3sr-grenoble.fr> napsal: > Hi, > The

Re: [Yade-dev] [Bug 1810283] Re: Wiki homepage broken

2019-02-22 Thread Bruno Chareyre
Hi, The wiki is back. No space on disk was the issue. The same physical machine has publications [1], daily packages [2] - and previously the html documentation which is now on gitlab. I discussed a migration of that server to another physical machine with our one-man IT support (Jérôme Branon)