i18n: run make update-po

1 files changed, 101 insertions, 1 deletions

diff --git a/locales/package.pot b/locales/package.pot
index 2a36826..03f9158 100644
--- a/locales/package.pot
+++ b/locales/package.pot
@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: CLUB1 main\n"
 "Report-Msgid-Bugs-To: nicolas@club1.fr\n"
-"POT-Creation-Date: 2022-03-30 15:29+0200\n"
+"POT-Creation-Date: 2022-03-31 15:47+0200\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language-Team: LANGUAGE <LL@li.org>\n"
@@ -571,6 +571,106 @@ msgstr ""
 msgid "Normale"
 msgstr ""
 
+#: ../../services/git.md:1
+msgid "Dépôts Git publics"
+msgstr ""
+
+#: ../../services/git.md:4
+msgid ""
+"Le dossier `git/`, à la racine de l'**espace personnel** est particulier. "
+"Les dépôts Git rangés dedans seront automatiquement publiés en _lecture "
+"seule_ à l'adresse `https://git.club1.fr`, par exemple :"
+msgstr ""
+
+#: ../../services/git.md:8
+msgid ""
+"[`https://git.club1.fr/nicolas/dna-backup/`](https://git.club1.fr/nicolas/"
+"dna-backup/) &rarr; `/home/nicolas/git/dna-backup/`"
+msgstr ""
+
+#: ../../services/git.md:11
+msgid "Cette adresse permet 2 choses :"
+msgstr ""
+
+#: ../../services/git.md:13
+msgid ""
+"Cloner le dépôt Git avec `git clone` grâce au [git-http-backend](https://git-"
+"scm.com/docs/git-http-backend)."
+msgstr ""
+
+#: ../../services/git.md:15
+msgid ""
+"Consulter rapidement le dépôt et le sources dans un navigateur grâce à "
+"l'interface web [cgit](https://git.zx2c4.com/cgit/about/)."
+msgstr ""
+
+#: ../../services/git.md:18
+msgid "Tutoriel d'utilisation"
+msgstr ""
+
+#: ../../services/git.md:21
+msgid ""
+"Pour utiliser la fonctionnalité de dépôts Git publics sur CLUB1, il faut "
+"tout d'abord initialiser le dépôt à distance, avec [SSH](ssh), depuis un "
+"ordinateur personnel (remplacer `<login>` par votre **identifiant** et "
+"`<repo>` par le nom que vous voulez donner au dépôt) :"
+msgstr ""
+
+#: ../../services/git.md:28
+msgid ""
+"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`. Il est possible de la "
+"changer en modifiant le fichier `HEAD` du dépôt. Par exemple pour la "
+"remplacer par la branche `main` :"
+msgstr ""
+
+#: ../../services/git.md:36
+msgid ""
+"De la même manière, pour modifier la description du dépôt (cette "
+"modification ne sera pas forcément visible tout de suite à cause du cache de "
+"cgit) :"
+msgstr ""
+
+#: ../../services/git.md:41
+msgid "Il y a ensuite deux cas de figure :"
+msgstr ""
+
+#: ../../services/git.md:43 ../../services/git.md:46
+msgid "Création d'un nouveau dépôt"
+msgstr ""
+
+#: ../../services/git.md:44 ../../services/git.md:70
+msgid "Publication d'un dépôt existant"
+msgstr ""
+
+#: ../../services/git.md:48
+msgid ""
+"Si le but est de créer un nouveau dépôt, alors le plus simple consiste à "
+"cloner celui-ci sur votre ordinateur personnel. On utilise pour cela "
+"l'adresse [SSH](ssh) car elle offre un accès en écriture au dépôt :"
+msgstr ""
+
+#: ../../services/git.md:55
+msgid ""
+"Un avertissement alertera sur le fait que le dépôt ainsi cloné est vide, ce "
+"qui est normal :"
+msgstr ""
+
+#: ../../services/git.md:60
+msgid ""
+"Il est désormais possible d'utiliser ce dépôt comme tout autre dépôt Git, "
+"par exemple :"
+msgstr ""
+
+#: ../../services/git.md:72
+msgid ""
+"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) :"
+msgstr ""
+
 #: ../../services/index.md:1
 msgid "Services"
 msgstr ""