SSH documentation does not account for possibility of different username
The documentation at https://gitlab.mpi-sws.org/help/user/ssh.md#verify-that-you-can-connect states that one should use ssh -T git@gitlab.example.com
to test the server connection. However, on gitlab.mpi-sws.org, the username is different -- it is git-rts
. We just had a user who was quite confused that things didn't work despite following the docs since he tried git@gitlab.mpi-sws.org
and of course that does not work...