From c04f1462d9ac8f1e05a7bbe8136bfdc007ea01bc Mon Sep 17 00:00:00 2001 From: Clemens Schwaighofer Date: Fri, 4 Jul 2025 14:41:46 +0900 Subject: [PATCH] Fix git pull repo folder 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 0ef1334..949b9bc 100755 --- a/src/bin/git_pull.sh +++ b/src/bin/git_pull.sh @@ -16,7 +16,7 @@ BASE_FOLDER=$(dirname "$(readlink -f "$0")")"/"; # check that repository path exists GIT_REPOSITORY_FOLDER="${GIT_WEBHOOK_BASE_FOLDER}${CLONE_BASE}${REPOSITORY}"; -if [ ! -d "${GIT_REPOSITORY_FOLDER}$" ]; then +if [ ! -d "${GIT_REPOSITORY_FOLDER}" ]; then echo "[!] ${REPOSITORY} not found in clone folder"; echo "[!] Full path: ${GIT_REPOSITORY_FOLDER}"; exit;