Comment by jankeromnes

> 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.)