faq.md

@@ -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)
 
 ```