I was just looking in to setting up "VS Code in the browser" with gitpod, code-server, and Visual Studio Codespaces last weekend. Gitpod looked nice but the fact that you can only customize the editor per-repository doesn't make sense to me. Looks like GitHub has solved this by using a `dotfiles` repo. code-server looked decent but I would much rather auth / secure the editor through GitHub. I tried to use Visual Studio Codespaces but I find Microsoft's account system and Azure's interface so infuriating. I'm really looking forward to this!
> Gitpod looked nice but the fact that you can only customize the editor per-repository doesn't make sense to me.
Gitpod also has user-specific Preferences, and even user-specific VS Code extensions. (Usually customization places have a "Workspace" tab and a "User" tab.)