Gitpod workspace sharing is a killer, although still clunkly. For example when others are working on your workspace, there's no indicator at all. If they start a dev server, you won't know it until you want to start it yourself and it says the port already used. One useful use case is when asking your co-worker to fix something in their areas of work, instead of them having to go through setting up their workspace they just do the fix in your workspace.