This commit is contained in:
Michael Grote 2023-07-21 20:55:15 +02:00
parent 4003148f28
commit d7b94d73b9

3
app.sh
View file

@ -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