Migrate Redmine users' email address to GitLab

It seems that all users currently get f'{name}@example.com'. Is this correct?

I think that once the migration is over, we need users to be able to reset their password and get access to their account in a self-service manner. Otherwise, I don't know how we'll give them access. So at some point, we need to set the correct email addresses.

But if we do that too early, while every user still has "Owner" status, then I think that any user could reset their password and get access to confidential issues. So setting the correct email addresses should probably happen only after we've given users their correct access level. Unless, perhaps, we can block login in a different manner?