From cf69c72b5fcff99563c0cd347d2ef30c658f287a Mon Sep 17 00:00:00 2001 From: Pascal Zimmermann Date: Fri, 10 Jun 2022 19:59:22 +0200 Subject: [PATCH] Update the file --- start.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/start.sh b/start.sh index 2d187c5..3356924 100755 --- a/start.sh +++ b/start.sh @@ -27,11 +27,11 @@ cd ${INPUT_DIRECTORY} remote_repo="${INPUT_GITHUB_URL_PROTOCOL}//${GITHUB_ACTOR}:${INPUT_GITHUB_TOKEN}@${INPUT_GITHUB_URL}/${REPOSITORY}.git" git config --local --add safe.directory ${INPUT_DIRECTORY} -echo "INPUT VARIABLES" -echo ${INPUT_PULL_FIRST} - if ${INPUT_PULL_FIRST}; then - git pull --rebase + git pull --rebase + git push --follow-tags $_FORCE_OPTION $_TAGS; +else + git push "${remote_repo}" HEAD:${INPUT_BRANCH} --follow-tags $_FORCE_OPTION $_TAGS; fi -git push "${remote_repo}" HEAD:${INPUT_BRANCH} --follow-tags $_FORCE_OPTION $_TAGS; +