howto/git.md

@@ -345,6 +345,8 @@ Important: this policy is still being debated. It is not clear if any
 or all repositories should be mirror or just migrated to GitLab, see
 [issue 36][] for the discussion on this topic.
 
+[issue 36]: https://gitlab.torproject.org/tpo/tpa/team/-/issues/40472
+
 Also consider [migrating the repository to GitLab permanently](#how-to-migrate-a-git-repository-from-legacy-to-gitlab).
 
  1. import the Gitolite repository in GitLab: