[Dune-devel] gitlab push url

[Markus Blatt]

Hi,

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!

Markus
-- 
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