They covered that in the original blog post, as a ton of their internal devs liked their current setup. They ended up writing a little command line utility that

They covered that in the original blog post, as a ton of their internal devs liked their current setup. They ended up writing a little command line utility that would let you SSH into your codespace (spinning it up if necessary), so you could use whatever editor you want (including JetBrains IDEs now that they have good SSH support). https://github.blog/2021-08-11-githubs-engineering-team-moved-codespaces/ https://github.blog/2021-08-11-githubs-engineering-team-move... (and if you want to try it, I think it's "gh cs ssh" in the github cli)