Log $PUSH_BRANCH value

This commit is contained in:
Stefan Zweifel 2019-09-20 10:19:29 +02:00
parent 0b91625aed
commit ed0ebb9072

View File

@ -27,6 +27,8 @@ then
: ${PUSH_BRANCH:=`echo "$GITHUB_HEAD_REF" | awk -F / '{ print $3 }' `} : ${PUSH_BRANCH:=`echo "$GITHUB_HEAD_REF" | awk -F / '{ print $3 }' `}
echo "Push Branch Value: $PUSH_BRANCH";
# Switch to branch from current Workflow run # Switch to branch from current Workflow run
git checkout -b $PUSH_BRANCH git checkout -b $PUSH_BRANCH