[Dune-devel] gitlab push url

[Markus Blatt]

On Tue, Jan 26, 2016 at 03:27:39PM +0100, Markus Blatt wrote:
> I must be blind. I cannot find any information about the URL to use
> for pushing to gitlab over ssh. Can someone enlighten me?
> 
> Thanks!
> 

Ok, found it. One can see on the git project page once an ssh key is
added. Maybe we should list it on the contributing page?

Markus
-- 
Dr. Markus Blatt - HPC-Simulation-Software & Services http://www.dr-blatt.de
Hans-Bunte-Str. 8-10, 69123 Heidelberg, Germany,  USt-Id: DE279960836
Tel.: +49 (0) 160 97590858