Skip to content

Remove theia directory

Marcel van Remmerden requested to merge remove-theia-directory into master

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.

Merge request reports