chore: Unpin theia commit

Signed-off-by: Roman Nikitenko <rnikiten@redhat.com>
eclipse-che · Sep 3, 2021 · c107800 · c107800
1 parent f5a5f47
commit c107800
Show file tree

Hide file tree

Showing 2 changed files with 843 additions and 735 deletions.
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="9f4f56e388109178dbfed244522bbe49ba474c31"
+THEIA_COMMIT_SHA=
 THEIA_GIT_REFS="refs\\/heads\\/master"
 THEIA_DOCKER_IMAGE_VERSION=