howto/git.md

+# RETIRED
+
+The Gitolite and Gitweb have been retired and repositories migrated to
+[GitLab](howto/gitlab). See [TPA-RFC-36](policy/tpa-rfc-36-gitolite-gitweb-retirement) for the decision and the [legacy Git
+infrastructure retirement milestone](tpo/tpa%"legacy Git infrastructure retirement (TPA-RFC-36)") for progress.
+
+# Original documentation
+
 Our git setup consists of three interdependent services:
 
  * `git-rw.torproject.org`:  ssh accessible and writeable git repositories
@@ -7,12 +15,6 @@ 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