Use $PUSH_BRANCH in git push command

This commit is contained in:
Stefan Zweifel 2019-09-20 09:49:26 +02:00
parent ea88bd7cde
commit f4fd59c4d4

View File

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