some todos in the migration remain

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?