@@ -85,14 +85,15 @@ When a user is leaving Inria, the gitlab account cannot be used anymore. Two sit
Before leaving Inria:
* open a ticket requesting to convert the account, providing the information mentioned above.
* the new account will be available when the Inria account is deactivated, which occurs when the Human Resources service closes the Inria account, approximately 3 months after the departure.
* then, when the account has been converted, the user can ask for password recovery using the new identifier and provide a new password.
### The user has already left Inria
* Only an Inria administrator of a project the user was contributing to can ask for the account conversion.
* The administrator open a ticket requesting to convert the account, providing the information mentioned above.
* the new account will be available when the Inria account is deactivated, which occurs when the Human Resources service ends the Inria account, approximately 3 months after the departure.
In both cases :
* the new account will be available when the Inria account is deactivated, which occurs when the Human Resources service closes the Inria account, approximately 3 months after the departure.
* then, when the account has been converted, the user can ask for password recovery using the new identifier and provide a new password.
## How to convert a user account from external to internal
