diff --git a/Scripts/checkout-configuration.sh b/Scripts/checkout-configuration.sh index 8d9b74d8c..fdc5a8581 100755 --- a/Scripts/checkout-configuration.sh +++ b/Scripts/checkout-configuration.sh @@ -44,10 +44,7 @@ if [[ $(git status --porcelain 2> /dev/null) ]]; then exit 1 fi -if ! git fetch &> /dev/null; then - echo "The repository '$CONFIGURATION_FOLDER' could not be updated." - exit 1 -fi +git fetch &> /dev/null if git checkout -q "$CONFIGURATION_COMMIT_SHA1" &> /dev/null; then echo "The '$CONFIGURATION_FOLDER' repository has been switched to commit $CONFIGURATION_COMMIT_SHA1."