FAQs.md

@@ -27,4 +27,6 @@ A one-off mirror can be performed by changing the remote of a local clone of the
 $ cd path/to/repo
 $ git remote set-url origin git@gitlab.developers.cam.ac.uk:/path/to/repo
 $ git push --mirror origin
-```
\ No newline at end of file
+```
+
+On a case-by-case basis we may be able to set up a redirect so that cloning from git.uis.cam.ac.uk will automatically include changes from GitLab. In general using one of the mirroring options is preferred. Contact gitmaster@uis.cam.ac.uk if you would like to discuss this option.
\ No newline at end of file