From f4fd59c4d432aa052c3756cd897f43e72b286d78 Mon Sep 17 00:00:00 2001 From: Stefan Zweifel Date: Fri, 20 Sep 2019 09:49:26 +0200 Subject: [PATCH] Use $PUSH_BRANCH in git push command --- entrypoint.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/entrypoint.sh b/entrypoint.sh index 3adb9bd..47d6a80 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -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 "${GITHUB_REF:11}" + git push --set-upstream origin $PUSH_BRANCH else echo "Working tree clean. Nothing to commit." fi