jira-to-gitlab-migration.md

+General:
+
 * Script used: https://gist.github.com/florisb/1266d3584dbfdbd2a8a55d31e2518edd
 * The Gitlab user must be a Gitlab admin
 * Get the Gitlab user token from https://lab.civicrm.org/profile/account (i.e. global token, not app-token).
-* Add the users to the destination project
+* Add the users to the destination project (preferably as 'admins' to avoid permission problems).
 * Users whose username has changed must be remapped.
-  * For infra, we mapped only a few and assigned the rest to the 'ghost' user, since few issues and archives aren't really important.
\ No newline at end of file
+  * For infra, we mapped only a few and assigned the rest to the 'legacy' user, since few issues and archives aren't really important.
+  * The 'legacy' user is an account that was created by bgm. It should be blocked after the migration.
\ No newline at end of file