Mentions légales du service

Skip to content

Changes

Page history
Update faq authored by MOUTON Claire's avatar MOUTON Claire
Show whitespace changes
Inline Side-by-side
faq.md
View page @ b007ccca
...@@ -35,18 +35,17 @@ Indeed, the amount of data that can be transferred in an HTTP request or respons ...@@ -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 : 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 $ git remote -v
> origin https://gitlab.inria.fr/OWNER/REPOSITORY.git (fetch) 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 (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 # Verify new remote URL
> origin git@github.com:OWNER/REPOSITORY.git (fetch) $ git remote -v
> origin git@github.com:OWNER/REPOSITORY.git (push) origin git@gitlab.inria.fr:OWNER/REPOSITORY.git (fetch)
origin git@gitlab.inria.fr:OWNER/REPOSITORY.git (push)
``` ```
......