From 7bcf4d72687c75a26e40f31f860d20f9a8739212 Mon Sep 17 00:00:00 2001 From: Damien Pollet <damien.pollet@univ-lille.fr> Date: Tue, 26 Nov 2024 10:48:56 +0100 Subject: [PATCH] Update README --- README.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 9b536e2..c8ec611 100644 --- a/README.md +++ b/README.md @@ -7,9 +7,9 @@ Il suffit d'éditer les fichiers sous `content/`, commit et push. Il n'y a rien d'autre à faire : l'intégration continue de Gitlab intervient automatiquement après chaque push, convertit les pages rédigées en Markdown (fichiers `*.md`), et publie la nouvelle version. -Infos à mettre à jour chaque année, dans `content/presentation.md` : -- gratification minimale (change au 1er janvier) -- dates du stage +Infos à mettre à jour chaque année, dans `content/presentation.md` : +- intervenants et groupes +- dates d'échéances ## Comment ça marche @@ -17,6 +17,11 @@ La procédure de conversion et publication est dans le `Makefile`; `make help` e La publication consiste à committer le contenu du répertoire `output/` dans la branche dédiée `public` qui est disjointe de `main` (pas de commit ancêtre commun, hiérarchie différente). Il n'y a aucune raison de travailler directement sur `public`. +Pour que ça marche avec l'intégration continue il faut : +- créer un /project access token/ avec le rôle `Developer` et le scope `write_repository` (pour pouvoir `git push`) +- mettre ce token dans la variable `DEPLOY_TOKEN` de la CI/CD +Les tokens expirent donc la manip est à refaire tous les ans. + ### Conversion en local Utile pour par exemple contrôler le balisage HTML généré. Nécessite l'installation de [`pandoc`](https://pandoc.org). -- GitLab