Fix git push command

This commit is contained in:
Stefan Zweifel 2019-09-20 10:37:16 +02:00
parent 72e2d4cb1e
commit 6f1c9227f5

View File

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