From 17b35aa4c822dd08b6f1c2430fcb566c917d9049 Mon Sep 17 00:00:00 2001 From: Clemens Schwaighofer Date: Fri, 4 Jul 2025 14:46:47 +0900 Subject: [PATCH] Fix git pull remote name empty check --- src/bin/git_pull.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/git_pull.sh b/src/bin/git_pull.sh index 949b9bc..411ceb2 100755 --- a/src/bin/git_pull.sh +++ b/src/bin/git_pull.sh @@ -7,7 +7,7 @@ REPOSITORY="$1"; BRANCH="$2"; REMOTE_NAME="$3"; -if [ -n "${REMOTE_NAME}" ]; then +if [ -z "${REMOTE_NAME}" ]; then REMOTE_NAME="origin" fi; BASE_FOLDER=$(dirname "$(readlink -f "$0")")"/";