Theia's Website
The source for the website and online documentation for the Theia IDE Framework.
How to contribute
The easiest is to use Gitpod, which has everything readily setup to start working:
Work locally
npm install && npm run start --host 0.0.0.0
CI
The website is automatically build at and deployed to netlify.