Set an explicit default Gitpod host for existing users#192

filiptronicek merged 4 commits intomaingitpod-io/browser-extension:mainfrom

ft/explicit-default-gitpod-hostgitpod-io/browser-extension:ft/explicit-default-gitpod-hostCopy head branch name to clipboard