diff options
author | n-peugnet <n.peugnet@free.fr> | 2022-03-31 20:09:11 +0200 |
---|---|---|
committer | Nicolas Peugnet <n.peugnet@free.fr> | 2022-03-31 23:29:53 +0200 |
commit | 67ccabe100e537dc0c3e13d88662929c8be6e34a (patch) | |
tree | b00aded8cbf4e29361273e2f0bf9033719591f40 /services/git.md | |
parent | fa0ad2eb2ecf48260f626b22d059204ef3a2ad60 (diff) | |
download | club1-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.md | 10 |
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 |