From ca8a934e0ae27a1c8e8ca98f1f851443de0cad31 Mon Sep 17 00:00:00 2001 From: Yevhen Vydolob Date: Thu, 7 Feb 2019 16:36:34 +0200 Subject: [PATCH] #39 delete commented code Signed-off-by: Yevhen Vydolob --- dockerfiles/theia/Dockerfile | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/dockerfiles/theia/Dockerfile b/dockerfiles/theia/Dockerfile index e74f90681..0ca2dc344 100644 --- a/dockerfiles/theia/Dockerfile +++ b/dockerfiles/theia/Dockerfile @@ -40,16 +40,10 @@ RUN if [ ! -z "${GITHUB_TOKEN-}" ]; then \ fi #invalidate cashe -ADD https://${GITHUB_TOKEN}:x-oauth-basic@api.github.com/repos/theia-ide/theia/git/${GIT_REF} /tmp/master.json +ADD https://${GITHUB_TOKEN}:x-oauth-basic@api.github.com/repos/theia-ide/theia/git/${GIT_REF} /tmp/branch_info.json # Clone theia RUN git clone --branch ${GIT_BRANCH_NAME} --single-branch --depth 1 https://github.com/theia-ide/theia ${HOME}/theia-source-code -# RUN if [ $THEIA_VERSION == "master" ]; then \ -# echo "Cloning Theia master branch"; \ -# (git clone --branch master --single-branch --depth 1 https://github.com/theia-ide/theia ${HOME}/theia-source-code) ; \ -# else \ -# (git clone --branch v${THEIA_VERSION} --single-branch --depth 1 https://github.com/theia-ide/theia ${HOME}/theia-source-code); \ -# fi # Add patches ADD src/patches ${HOME}/patches