From 46a6e12795ee740f36ccced5ef7c10e514a58fd3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Wed, 29 Jun 2022 15:26:48 -0400
Subject: [PATCH] mention issue tpo/tpa/gitlab#127 for gitlab cleanup

---
 howto/gitlab.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/howto/gitlab.md b/howto/gitlab.md
index 7783e575..c35eee33 100644
--- a/howto/gitlab.md
+++ b/howto/gitlab.md
@@ -716,7 +716,8 @@ working so well (e.g. [503 errors on merge requests](https://gitlab.torproject.o
 [migrated to the omnibus package](https://gitlab.torproject.org/tpo/tpa/team/-/issues/32949) in March 2020, which seems to
 work better. There might still be some leftovers of that configuration
 here and there, but some effort was done during the 2022 hackweek
-(2022-06-28) to clean that up in Puppet at least.
+(2022-06-28) to clean that up in Puppet at least. See
+[tpo/tpa/gitlab#127](https://gitlab.torproject.org/tpo/tpa/gitlab/-/issues/127) for some of that cleanup work.
 
 ### GitLab CI installation
 
-- 
GitLab