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

First time hearing of Theia - thanks!

Hopefully one day we can get over "sherlocking". When you build your business off of another business, you're still at the mercy of the other business.

We're pretty stoked to have new friends in cloud-native development!

Microsoft/GitHub joining the dev-environment-as-code movement is huge, will likely save us all a few more years of dependency-hell.

(EDIT: Removed official blog post link because taywrobel posted it first)

They should be OK because they're still usable with GitLab and have a self-hosted offering.

Yes, I think it is... Gitpod still has gitlab though :)

It's quite crazy what GitHub is doing...