| ... | ... | @@ -73,6 +73,10 @@ Note: it is also possible to do passwordless operations with git over http by us |
|
|
|
|
|
|
|
* when cloning the repository, use customize the URL as follows: https://<username>:<token>@gitlab.inria.fr/<end_of_url>
|
|
|
|
|
|
|
|
## How to create a user account for an external (non-Inria) user
|
|
|
|
|
|
|
|
The procedure and detailed information are provided [here](https://doc-si.inria.fr/pages/viewpage.action?pageId=1873251).
|
|
|
|
|
|
|
|
## How to convert a user account from internal to external
|
|
|
|
When a user is leaving Inria, the gitlab account cannot be used anymore. Two situations can occur:
|
|
|
|
|
| ... | ... | |
