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 /docker | |
| parent | de9a07e6c1721130fe48ae3a0205395ad5998b31 (diff) | |
WIP: Fix git ref
Diffstat (limited to 'docker')
| -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}")" |