On: GitHub’s engineering team has moved to Codespaces

[jtsiskin]

For an org the size of GitHub, it’s not unreasonable that a local dev environment is difficult to accomplish