Try to fix checkout command

This commit is contained in:
Stefan Zweifel 2019-09-20 09:42:26 +02:00
parent 80f825a9bc
commit ea88bd7cde

View File

@ -25,8 +25,10 @@ if ! git diff --quiet
then then
git_setup git_setup
: ${PUSH_BRANCH:=`echo "$GITHUB_HEAD_REF" | awk -F / '{ print $3 }' `}
# Switch to branch from current Workflow run # Switch to branch from current Workflow run
git checkout "$GITHUB_REF" | awk -F / '{ print $3 }' git checkout $PUSH_BRANCH
git add . git add .