make sure we get clean checkouts

This commit is contained in:
Fredrik Thulin 2023-01-30 14:12:13 +01:00
parent 582cb8a691
commit 4601e0bf08
No known key found for this signature in database
GPG key ID: 2707330D4030CCAD

View file

@ -42,7 +42,8 @@ if [ -f $CONFIG -o $LOCALCONFIG ]; then
if [ "$src" != "$(git config remote.origin.url)" ]; then if [ "$src" != "$(git config remote.origin.url)" ]; then
git config remote.origin.url $src git config remote.origin.url $src
fi fi
git pull -q # Update repo and clean out any local inconsistencies
git pull -q || (git fetch && git reset --hard)
else else
continue continue
fi fi