[Dune-devel] Github mirror

[Carsten Gräser]

Dear all,
I just stumbled over the fact that we have a mirror
for the core modules on github:

  https://github.com/dune-project

Unfortunately these are out of sync and their status
is from December 2015. This is very unfortunate if
people looking for dune get there first.

We should either remove the repositories from github
or keep them updated. Due to our nicely working
gitlab there's in my opinion no spend any effort
in keeping the mirror.

Best,
Carsten


-- 
Prof. Dr. Carsten Gräser
Freie Universität Berlin
Institut für Mathematik
Arnimallee 6
14195 Berlin, Germany
phone: +49 30 838 72637
fax  : +49 30 838 472637
email: graeser at mi.fu-berlin.de
URL  : http://page.mi.fu-berlin.de/graeser

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20160919/72eefc34/attachment.sig>