@@ -71,6 +71,10 @@ Gitlab is a service which may be made available for external users. Their accoun
The procedure and detailed information are provided [here](https://doc-si.inria.fr/pages/viewpage.action?pageId=1873251).
## What needs to be done when a user departs and has projects in their personal space?
Once a user's account is deactivated, their personal space becomes inaccessible. However, the space and its contents are not deleted.
The user should move the projects in personal space to appropriate group spaces.
## How to convert a user account from internal to external
When a user is leaving Inria, the gitlab account cannot be used anymore. To keep the accesses to the projects, please follow this procedure, before or after the user has left.
