When migrating from GitHub, allow requiring all users to be mapped to GitLab users
Problem to solve
I am trying to migrate GitHub repositories, but I am noticing that for GitHub users which could not be mapped to GitLab users, contributions are associated with the user migrating the repository. I would prefer that in such case migration fails and a list of users which could not be migrated is provided instead.
Intended users
Administrator of a repository/project.
Further details
From current documentation, this is what is necessary for mapping to succeed:
For this association to succeed, prior to the import, each GitHub author and assignee in the repository must have either previously logged in to a GitLab account using the GitHub icon or have a GitHub account with a public email address that matches their GitLab account’s email address.
Proposal
I would propose that an additional checkbox is provided next to the "import" button for strict mapping of users. If enabled, then importing would fail if not all users could be mapped. In that case a list of failed users should be shown. User doing import could then contact those users and ask them to associate their GitLab accounts with GitHub accounts and retry importing at a later time.