Added Setting inactiveUserSettings.
It takes a list of user names from GitLab, and the mentions of these users in issues and PRs will be prefixed with a prepend string when they are migrated to GitHub. This will be mostly used when migrating inactive users from GitLab to GitHub, ensuring that the inactive user names don't collide with existing GitHub users.
Added Setting
inactiveUserSettings
. It takes a list of user names from GitLab, and the mentions of these users in issues and PRs will be prefixed with aprepend
string when they are migrated to GitHub. This will be mostly used when migrating inactive users from GitLab to GitHub, ensuring that the inactive user names don't collide with existing GitHub users.