Need info about ssh to gitlab

devsetup.rst has several git clone git@gitlab.com:mailman/... commands but doesn't mention the need to have a gitlab account with ssh keys installed for this to work.