gitignore: ajout d'une exclusion du répertoire public
Lorsqu'on build le site avec -d public, il faut l'ignorer pour ne pas «pourrir» l'historique git.
Une rapide mise à jour est prévue ce mercredi 27 novembre 2024 à partir de 8h30
Une légère perturbation est à prévoir le temps que le service redémarre.
Merci de votre compréhension
Important ! Pour éviter les confusions, merci de ne pas choisir de noms génériques lors de la création de vos groupes : "maths", "sixieme", "numerique"…
Lorsqu'on build le site avec -d public, il faut l'ignorer pour ne pas «pourrir» l'historique git.