diff options
author | Lipu Fei <lipu.fei815@gmail.com> | 2019-12-17 14:35:41 +0300 |
---|---|---|
committer | Lipu Fei <lipu.fei815@gmail.com> | 2019-12-17 14:35:41 +0300 |
commit | 7f053c8d2a7104b6ed255c8dc933b66c22cd28e0 (patch) | |
tree | 174c274513321834bd65db6ec9f26e323feef932 | |
parent | de9a07e6c1721130fe48ae3a0205395ad5998b31 (diff) |
WIP: Fix git ref
-rwxr-xr-x | docker/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/build.sh b/docker/build.sh index 4510692bf2..6aa0678ca3 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -27,6 +27,7 @@ GIT_REF_NAME="${GITHUB_REF}" if [ -n "${GITHUB_BASE_REF}" ]; then GIT_REF_NAME="${GITHUB_BASE_REF}" fi +GIT_REF_NAME="$(basename "${GIT_REF_NAME}")" URANIUM_BRANCH="${GIT_REF_NAME:-master}" output="$(git ls-remote --heads https://github.com/Ultimaker/Uranium.git "${URANIUM_BRANCH}")" |