From e177aa04b96ea4d2d7200adfddb4bcc7817961c2 Mon Sep 17 00:00:00 2001 From: n-peugnet Date: Thu, 31 Mar 2022 20:09:11 +0200 Subject: docs: precise that we use the previously inited repo --- services/git.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'services') 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 @club1:git/ git push --set-upstream club1 main -- cgit v1.2.3