[Dune] dune-alugrid moved to gitlab.dune-project.org

[Robert Kloefkorn]

Hi all,

we moved the dune-alugrid repository to the new gitlab server.

Please use

git clone https://gitlab.dune-project.org/extensions/dune-alugrid.git

to access the new repository or simply change the url of your remote via

git remote set-url origin
https://gitlab.dune-project.org/extensions/dune-alugrid.git


Best,

Rob