... | ... | @@ -35,18 +35,17 @@ Indeed, the amount of data that can be transferred in an HTTP request or respons |
|
|
If you encounter problems with git push on a repository cloned with git https, here is the command to change the remote configuration to SSH :
|
|
|
```
|
|
|
$ git remote -v
|
|
|
> origin https://gitlab.inria.fr/OWNER/REPOSITORY.git (fetch)
|
|
|
> origin https://gitlab.inria.fr/OWNER/REPOSITORY.git (push)
|
|
|
origin https://gitlab.inria.fr/OWNER/REPOSITORY.git (fetch)
|
|
|
origin https://gitlab.inria.fr/OWNER/REPOSITORY.git (push)
|
|
|
|
|
|
```
|
|
|
`git remote set-url origin git@gitlab.inria.fr:OWNER/REPOSITORY.git`
|
|
|
`$ git remote set-url origin git@gitlab.inria.fr:OWNER/REPOSITORY.git`
|
|
|
|
|
|
```
|
|
|
$ git remote -v
|
|
|
|
|
|
# Verify new remote URL
|
|
|
> origin git@github.com:OWNER/REPOSITORY.git (fetch)
|
|
|
> origin git@github.com:OWNER/REPOSITORY.git (push)
|
|
|
$ git remote -v
|
|
|
origin git@gitlab.inria.fr:OWNER/REPOSITORY.git (fetch)
|
|
|
origin git@gitlab.inria.fr:OWNER/REPOSITORY.git (push)
|
|
|
|
|
|
```
|
|
|
|
... | ... | |