aboutsummaryrefslogtreecommitdiff
path: root/services
diff options
context:
space:
mode:
Diffstat (limited to 'services')
-rw-r--r--services/git.md10
1 files changed, 5 insertions, 5 deletions
diff --git a/services/git.md b/services/git.md
index b252676..615d8cc 100644
--- a/services/git.md
+++ b/services/git.md
@@ -45,8 +45,8 @@ Il y a ensuite deux cas de figure :
### Création d'un nouveau dépôt
-Si le but est de créer un nouveau dépôt, alors le plus simple consiste
-à cloner celui-ci sur votre ordinateur personnel.
+Si le but est de créer un nouveau dépôt, alors le plus simple est de cloner
+sur votre ordinateur personnel celui qui vient d'être initialisé sur le serveur.
On utilise pour cela l'adresse [SSH](ssh.md) car elle offre un accès en écriture
au dépôt :
@@ -70,9 +70,9 @@ par exemple :
### Publication d'un dépôt existant
Si le but est de publier un dépôt existant, alors il suffit d'ajouter le
-dépôt distant aux _remotes_ et d'y pousser la branche désirée, par exemple
-pour la branche `main` (l'option `--set-upstream` permet d'en faire la
-_remote_ par défaut pour cette branche) :
+dépôt distant qui vient d'être initialisé aux _remotes_ et d'y pousser la
+branche désirée, par exemple pour la branche `main` (l'option `--set-upstream`
+permet d'en faire la _remote_ par défaut pour cette branche) :
git remote add club1 <login>@club1:git/<repo>
git push --set-upstream club1 main