aboutsummaryrefslogtreecommitdiff
path: root/services/git.md
diff options
context:
space:
mode:
authorn-peugnet <n.peugnet@free.fr>2022-04-08 21:12:28 +0200
committern-peugnet <n.peugnet@free.fr>2022-04-08 21:12:28 +0200
commit633475e59383a44aedd9e134d46cb0b2d18d0691 (patch)
treeed368d6ca374962b9a0f5551226265c5740b7725 /services/git.md
parent81ed74fff4e8c5938a612d01c176031878328cab (diff)
downloadclub1-docs-633475e59383a44aedd9e134d46cb0b2d18d0691.tar.gz
club1-docs-633475e59383a44aedd9e134d46cb0b2d18d0691.zip
docs: scatterd updates + enable back external links
Diffstat (limited to 'services/git.md')
-rw-r--r--services/git.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/services/git.md b/services/git.md
index ead5453..69a4e02 100644
--- a/services/git.md
+++ b/services/git.md
@@ -13,7 +13,7 @@ Cette adresse permet 2 choses&nbsp;:
1. Cloner le dépôt Git avec `git clone` grâce au
[git-http-backend](https://git-scm.com/docs/git-http-backend).
2. Consulter rapidement le dépôt et le sources dans un navigateur grâce à
- l'interface web [cgit](https://git.zx2c4.com/cgit/about/).
+ l'interface {term}`Web` fournie par [cgit](https://git.zx2c4.com/cgit/about/).
Tutoriel d'utilisation
----------------------
@@ -27,7 +27,7 @@ voulez donner au dépôt)&nbsp;:
Dès lors, le dépôt est publié en _lecture seule_ à l'adresse
`https://git.club1.fr/<login>/<repo>`, mais celui-ci est vide pour le
-moment. La branche affichée par défaut dans l'interface web est `master`.
+moment. La branche affichée par défaut dans l'interface {term}`Web` est `master`.
Il est possible de la changer en modifiant le fichier `HEAD` du dépôt.
Par exemple pour la remplacer par la branche `main`&nbsp;:
@@ -52,10 +52,12 @@ au dépôt&nbsp;:
git clone <login>@club1.fr:git/<repo>
+```{note}
Un avertissement alertera sur le fait que le dépôt ainsi cloné est vide, ce
qui est normal&nbsp;:
warning: You appear to have cloned an empty repository.
+```
Il est désormais possible d'utiliser ce dépôt comme tout autre dépôt {term}`Git`,
par exemple&nbsp;: