Try to fix git push

This commit is contained in:
Stefan Zweifel 2019-09-20 10:01:27 +02:00
parent ef8610f6df
commit 12282205b7

View File

@ -34,7 +34,7 @@ then
git commit -m "$INPUT_COMMIT_MESSAGE" --author="$INPUT_COMMIT_AUTHOR_NAME <$INPUT_COMMIT_AUTHOR_EMAIL>"
git push --set-upstream origin HEAD:"$PUSH_BRANCH"
git push --set-upstream origin "HEAD:$PUSH_BRANCH"
else
echo "Working tree clean. Nothing to commit."
fi