diff --git a/provisioning/roles/deploy_all/files/bin/git_update.sh b/provisioning/roles/deploy_all/files/bin/git_update.sh index b15c5b0..6c9e645 100755 --- a/provisioning/roles/deploy_all/files/bin/git_update.sh +++ b/provisioning/roles/deploy_all/files/bin/git_update.sh @@ -1,5 +1,10 @@ #!/bin/bash +# Clone un dépôt git au bon endroit +# Stocker un minum de données (et donc nettoyer) +# Télécharger un minimum de données +# En cas de conflit donner raison au remote (on écrase les versions locales) + declare -A usage declare -A varia @@ -71,7 +76,7 @@ if [ -d .git ] ; then tagref="tags/$tag" fi - run git fetch origin "$branch" --tags + run git fetch origin "$branch" --tags -f run git checkout --force $tagref -B "$branch" run git reset --hard # TODO we can keep some files? # Preserve existing files in some cases