5 ms·

They already have a blog post up about it - https://www.gitpod.io/blog/github-codespaces/ https://www.gitpod.io/blog/github-codespaces/

• ta17711771 6y ago
  First time hearing of Theia - thanks!