[server] remove port 3000 from default config by mustard-mh · Pull Request #14056 · gitpod-io/gitpod