Updated release script

This commit is contained in:
Kasra Bigdeli
2020-07-02 07:19:05 -04:00
parent 72bbd45732
commit 4f773cb420

View File

@@ -23,7 +23,10 @@ fi
# BRANCH=$(git rev-parse --abbrev-ref HEAD) # BRANCH=$(git rev-parse --abbrev-ref HEAD)
# On Github the line above does not work, instead: # On Github the line above does not work, instead:
echo "------------- $GITHUB_REF" echo Reserved for REPO_NAME=${GITHUB_REPOSITORY##*/}
echo GITHUB_REF=${GITHUB_REF}
echo EXTRACT_GITHUB_REF=${GITHUB_REF##*/}
echo EXTRACT_GITHUB_REF_HEADS=$(echo ${GITHUB_REF#refs/heads/})
BRANCH=${GITHUB_REF##*/} BRANCH=${GITHUB_REF##*/}
echo "on branch $BRANCH" echo "on branch $BRANCH"