howto/git.md

@@ -7,6 +7,12 @@ Our git setup consists of three interdependent services:
 When a developer pushes to git-rw, the repository is mirrored to git and so
 made available via the gitweb service.
 
+Some repositories are also mirrored to [GitLab](howto/gitlab) and we are
+[considering migrating all repositories there](https://gitlab.torproject.org/tpo/tpa/gitlab/-/issues/36). At the time of
+writing (May 2021), the git infrastructure documented in this wiki
+page is considered **legacy** and new repositories should instead be
+created on GitLab.
+
 [[_TOC_]]
 
 # Howto