Vous ne pouvez pas sélectionner plus de 25 sujets
Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
Ce dépôt est archivé. Vous pouvez voir les fichiers et le cloner, mais vous ne pouvez pas pousser ni ouvrir de ticket/demande d'ajout.
|
12345678910111213141516171819202122 |
- #!/bin/bash
-
- set -e
-
- remote="$1"
- url="$2"
-
- z40=0000000000000000000000000000000000000000
-
- while read local_ref local_sha remote_ref remote_sha
- do
- if [[ "${local_sha}" = $z40 ]]; then
- echo "Deleting stuff, nothing to do"
- else
- (
- cd cours
- poetry run python build.py --clean --werror
- poetry run python build.py --format pdf
- poetry run python deploy.py
- )
- fi
- done
|