[Dune-devel] [Dune] DUNE migration to Git complete

[Oliver Sander]

>>
>> But we can give it a try; given that we really shut it down if we
>> don't like it. I don't want to create facts here.
>
> Sounds good to me.
>

Hmmm, why not try _without_ the github mirror first, and only start
using it when sufficiently many Dune developers whine about the onslaught
of patches they can't handle with our own infrastructure?

best,
Oliver



> Steffen
>
>>
>> Christian
>
> Steffen Müthing
> Universität Stuttgart
> Institut für Parallele und Verteilte Systeme
> Universitätsstr. 38
> 70569 Stuttgart
> Tel: +49 711 685 88429
> Fax: +49 711 685 88340
> Email: steffen.muething at ipvs.uni-stuttgart.de
>