@@ -48,7 +48,7 @@ An "external collaborator" is someone who you wish to give access to a Developer
External collaborator users have usernames of the form ``external-{...}``. If you have any strong opinions on what the username should be, tell us. Otherwise we'll generate it from the local part of the external user's email address.
> The process for GitLab admins is documented on [another page](/process/External Collaborators).
> The process to be followed by admins is documented on [another page](/process/External Collaborators).
## Is there any support for migrating from the git.uis.cam.ac.uk service?
