Andrea Veri commented:
@federico mind vouching here please? @svenfoo, you can keep the GitLab username as svenfoo, we'll just bind an LDAP username to your account with uid sneumann, so no worries on that side :-)
