fix git.version.sh script.

3 years ago · e1e1d321dd
parent 3971b37abc
commit e1e1d321dd
1 changed files with 0 additions and 4 deletions
--- a/webapp/frontend/git.version.sh
+++ b/webapp/frontend/git.version.sh
@ -13,10 +13,6 @@ if [[ -z "${CI}" ]]; then
 else
    echo "running in Github Actions, generating version file from environmental variables"
    # https://docs.github.com/en/actions/learn-github-actions/environment-variables
-    GITHUB_SHA
-    GITHUB_REF_NAME
-    GITHUB_REF_TYPE
-
    VERSION_INFO="${GITHUB_REF_NAME}"

    if [[ "$GITHUB_REF_TYPE" == "branch" ]]; then