Fix git push

This commit is contained in:
Stefan Zweifel 2019-09-20 09:56:20 +02:00
parent f4fd59c4d4
commit ef8610f6df

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 $PUSH_BRANCH
git push --set-upstream origin HEAD:"$PUSH_BRANCH"
else
echo "Working tree clean. Nothing to commit."
fi