diff --git a/howto/trac.md b/howto/trac.md
index 0c2328a6ff3698344d1b7deba7f3c4e6ce336fa7..29785190aa4ba1d5a1c88e4f841c4d49743fa31b 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?