[Dune] Userwiki end of life: 04.10.16

[René Milk]

On 04.08.2016 16:39, Andreas Dedner wrote:
> Hi Rene.
> Perhaps it would be possible to provide a quick guide on how to do that?
> It really is not a trivial task (at least if one wants to retain the
> history). The reason for that is I guess mostly the whitespace hock
> requiring to clean up the whole history...
> Or is it possible to disable the whitespace hock for private projects?
> Best
> Andreas
> 
> On 04/08/16 15:30, René Milk wrote:
>> Dear all,
>>
>> as previously discussed the Userwiki has become obsolete and will
>> therefore be shut down on October 4th, 2016.
>> Users wanting to continue projects on the Gitlab server will have to
>> transfer those manually.
>>
>> Regards,
>> René
>>
Hi Andreas,

gitlab allows importing a repo from a remote url when you create a new
project, so that's really simple.
I dunno about that whitespace hook though.

Regards,
René

-- 
--------------------------------------------------
 Dipl.-Math. René Milk
 University of Münster
 Institute for Applied Mathematics
 Orleans-Ring 10, R. 120.012
 48149 Münster               Tel. +49 251 83-35131
 Germany
--------------------------------------------------