From 61b17f3ff2ef8b62f513fca20105d6397db3f574 Mon Sep 17 00:00:00 2001 From: Roman Nikitenko Date: Tue, 31 Aug 2021 11:43:36 +0300 Subject: [PATCH 1/2] chore: Pin che-theia to the upstream Theia commit Signed-off-by: Roman Nikitenko --- build.include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.include b/build.include index 0b1ad841f..378eaf829 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="ff9e0507fbbfda8a98dd1bb1c73648ac6dba0a5b" THEIA_GIT_REFS="refs\\/heads\\/master" THEIA_DOCKER_IMAGE_VERSION= From fcbb6df7db9e978d3bdb34c784393f7d63d1a2b0 Mon Sep 17 00:00:00 2001 From: Roman Nikitenko Date: Tue, 31 Aug 2021 15:35:17 +0300 Subject: [PATCH 2/2] Pin Theia commit before breaking changes Signed-off-by: Roman Nikitenko --- build.include | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.include b/build.include index 378eaf829..2d4d54a4b 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="ff9e0507fbbfda8a98dd1bb1c73648ac6dba0a5b" +THEIA_COMMIT_SHA="9f4f56e388109178dbfed244522bbe49ba474c31" THEIA_GIT_REFS="refs\\/heads\\/master" THEIA_DOCKER_IMAGE_VERSION=