aboutsummaryrefslogtreecommitdiff
path: root/services/git.md
diff options
context:
space:
mode:
authorn-peugnet <n.peugnet@free.fr>2022-03-31 20:09:11 +0200
committerNicolas Peugnet <n.peugnet@free.fr>2022-03-31 23:29:53 +0200
commit67ccabe100e537dc0c3e13d88662929c8be6e34a (patch)
treeb00aded8cbf4e29361273e2f0bf9033719591f40 /services/git.md
parentfa0ad2eb2ecf48260f626b22d059204ef3a2ad60 (diff)
downloadclub1-docs-67ccabe100e537dc0c3e13d88662929c8be6e34a.tar.gz
club1-docs-67ccabe100e537dc0c3e13d88662929c8be6e34a.zip
docs: precise that we use the previously inited repo
Diffstat (limited to 'services/git.md')
-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&nbsp;:
### 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&nbsp;:
@@ -70,9 +70,9 @@ par exemple&nbsp;:
### 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)&nbsp;:
+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)&nbsp;:
git remote add club1 <login>@club1:git/<repo>
git push --set-upstream club1 main