From 9a5d01eb140b65f4854b7d3e948f35e51af23245 Mon Sep 17 00:00:00 2001 From: Artem Zatsarynnyi Date: Mon, 30 Aug 2021 16:16:51 +0300 Subject: [PATCH 1/2] Pin to the upstream Theia commit Signed-off-by: Artem Zatsarynnyi --- build.include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.include b/build.include index 0b1ad841f..8883aa7eb 100644 --- a/build.include +++ b/build.include @@ -14,7 +14,7 @@ IMAGE_TAG="next" THEIA_GITHUB_REPO="eclipse-theia/theia" THEIA_VERSION="master" THEIA_BRANCH="master" -THEIA_COMMIT_SHA= +THEIA_COMMIT_SHA="23d57c6a361151c5d34309a1576f81238f1f8148" THEIA_GIT_REFS="refs\\/heads\\/master" THEIA_DOCKER_IMAGE_VERSION= From 9699fc93aa4ce8a8a99337f091425b6d9d8df771 Mon Sep 17 00:00:00 2001 From: Artem Zatsarynnyi Date: Mon, 30 Aug 2021 18:04:13 +0300 Subject: [PATCH 2/2] chore: Pin to the upstream Theia commit Signed-off-by: Artem Zatsarynnyi --- build.include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.include b/build.include index 8883aa7eb..5896d614c 100644 --- a/build.include +++ b/build.include @@ -14,7 +14,7 @@ IMAGE_TAG="next" THEIA_GITHUB_REPO="eclipse-theia/theia" THEIA_VERSION="master" THEIA_BRANCH="master" -THEIA_COMMIT_SHA="23d57c6a361151c5d34309a1576f81238f1f8148" +THEIA_COMMIT_SHA="863c7382d70cc4f74108a3563a92a66b47cb121a" THEIA_GIT_REFS="refs\\/heads\\/master" THEIA_DOCKER_IMAGE_VERSION=