[Dune-devel] Github mirrors out of date

[Andreas Dedner]

Hi.
What is exactly on the mirror? On the web page it says somewhere: it
contains a mirror of the core modules. But it also contains typetree and
pdelab and pdelab-howto. So can any project (from the gitlab site) be
mirrored there, e.g., alugrid or dune-fem? And if so how can I set that up?
Regards
Andreas

On 13/05/16 16:16, Steffen Müthing wrote:
> Hi Markus,
> 
>> Am 13.05.2016 um 13:25 schrieb Markus Blatt <markus at dr-blatt.de>:
>>
>> Hi,
>>
>> the github mirrors still show the version of December 2015. Is there a
>> plan to resolve this or should we just delete them.
> 
> that’s strange. I’ll take a look.
> 
> Steffen
> 
>>
>> Markus
>> --
>> Using PT-Scotch with DUNE https://t.co/hZH8lxf5ZF
>>
>> Dr. Markus Blatt - HPC-Simulation-Software & Services http://www.dr-blatt.de
>> Hans-Bunte-Str. 8-10, 69123 Heidelberg, Germany
>> Tel.: +49 (0) 160 97590858
>> _______________________________________________
>> Dune-devel mailing list
>> Dune-devel at dune-project.org
>> http://lists.dune-project.org/mailman/listinfo/dune-devel
> 
> 
> 
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune-devel
>