jira-to-gitlab-migration.md

+* 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
+* 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