From 212b86129bff5f34e7c8fe993cd39b358d5123d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Thu, 28 Jan 2021 12:02:23 -0500
Subject: [PATCH] some todos in the migration remain

---
 howto/trac.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/howto/trac.md b/howto/trac.md
index 0c2328a6..29785190 100644
--- a/howto/trac.md
+++ b/howto/trac.md
@@ -327,9 +327,13 @@ will have to be manually migrated to the respective teams.
 
 This organisation is still being discussed, see [issue 28](https://gitlab.torproject.org/tpo/tpa/gitlab/-/issues/28).
 
+TODO: that issue is closed, stuff that is mentioned there might be
+documented here or in the GitLab docs?
+
 ## Git repository migration
 
-Git repository migration is still being discussed, in [ticket 36](https://gitlab.torproject.org/tpo/tpa/gitlab/-/issues/36).
+Migration from Gitolite is still being discussed, in [ticket 36](https://gitlab.torproject.org/tpo/tpa/gitlab/-/issues/36)
+and is not part of this migration.
 
 ## What will break, and when will you fix it?
 
-- 
GitLab