... | ... | @@ -60,6 +60,12 @@ Thus to be able to perform connected git operations (push, pull, ...) without ha |
|
|
|
|
|
* to use a command line or graphical ssh-agent
|
|
|
|
|
|
Note: it is also possible to do passwordless operations with git over http by using a personal access token:
|
|
|
|
|
|
* create a personal access token in your gitlab user settings, with permissions "read_repository" (only these permissions).
|
|
|
|
|
|
* when cloning the repository, use customize the URL as follows: https://<username>:<token>@gitlab.inria.fr/<end_of_url>
|
|
|
|
|
|
## 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:
|
|
|
|
... | ... | |