Remove theia directory
What does this MR do and why?
Removes the .theia
directory that previously was helpful for earlier Gitpod versions.
MR acceptance checklist
This checklist encourages us to confirm any changes have been analyzed to reduce risks in quality, performance, reliability, security, and maintainability.
-
I have evaluated the MR acceptance checklist for this MR.