update.sh: Prune tags if removed on remote

master release-2018-12-01-16-23
Felix Stupp 6 years ago
parent 6eb274e5e4
commit 39034fbc4d
Signed by: zocker
GPG Key ID: 93E1BD26F6B02FB7

@ -9,7 +9,7 @@ fi
PREFIX=release;
CONF_SCRIPT="configure.sh";
git fetch --tags > /dev/null;
git fetch --tags --prune-tags > /dev/null;
TAG=$(git tag --list | grep "^$PREFIX-" | sort -r | head -n 1);
if git verify-tag --raw "$TAG" 2>&1 | grep "TRUST_ULTIMATE" > /dev/null; then
git checkout -q "$TAG";

Loading…
Cancel
Save