On: GitHub’s engineering team has moved to Codespaces

[eru]

In some sense, that's exactly the same as normal web-browsing:

Parts of gmail run in the browser, the rest runs on servers written in many different languages at Google.