[jb] respect GW user settings (proxies, certificates)#10974

roboquat merged 1 commit intomaingitpod-io/gitpod:mainfrom

ak/gw_settingsgitpod-io/gitpod:ak/gw_settingsCopy head branch name to clipboard