chore: Pin che-theia to the upstream Theia commit (#1205)

* chore: Pin che-theia to the upstream Theia commit Signed-off-by: Roman Nikitenko <[email protected]>
eclipse-che · Aug 31, 2021 · 81b2e3a · 81b2e3a
1 parent 1ad19a3
commit 81b2e3a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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="9f4f56e388109178dbfed244522bbe49ba474c31"
 THEIA_GIT_REFS="refs\\/heads\\/master"
 THEIA_DOCKER_IMAGE_VERSION=