diff --git a/app.sh b/app.sh index 14b39b5..87ed96c 100644 --- a/app.sh +++ b/app.sh @@ -44,9 +44,6 @@ while true ; do cd "$GIT_REPO_PATH" if [ -d ".git" ] ; then git pull "$GIT_REPO_REMOTE_NAME" "$GIT_REPO_BRANCH" --quiet - else - echo "Error: The directory exists but is not a Git repository" - exit 1 fi else git clone "$GIT_REPO_URL" "$GIT_REPO_PATH" --quiet