@@ -32,9 +32,9 @@ An "external collaborator" is someone who you wish to give access to a Developer
Due to the way the git.uis.cam.ac.uk service is administered, local admin users have a great deal of flexibility in how they configure access policies for repos. At this moment in time we do not have an automated means to ingest access policies and construct a matching set of permissions.
For importing individual repositories, GitLab supports mirroring repositories between git.uis. You can set up GitLab to either sync changes from git.uis to the GitLab repo or sync changes to the GitLab repo to git.uis. See the [mirroring documentation](https://gitlab.developers.cam.ac.uk/help//workflow/repository_mirroring.md#ssh-authentication) for more details.
~~For importing individual repositories, GitLab supports mirroring repositories between git.uis. You can set up GitLab to either sync changes from git.uis to the GitLab repo or sync changes to the GitLab repo to git.uis. See the [mirroring documentation](https://gitlab.developers.cam.ac.uk/help//workflow/repository_mirroring.md#ssh-authentication) for more details.~~
**Update:** mirroring via SSH is currently non-functional due to an [upstream issue](https://gitlab.com/charts/gitlab/issues/1167).
> Mirroring via SSH is currently non-functional due to an [upstream issue](https://gitlab.com/charts/gitlab/issues/1167).
A one-off mirror can be performed by changing the remote of a local clone of the repository and using ``git push --mirror``:
