Clean code from GitpodServerLauncher and update JetBrains backend-plugin to work when user has proxies#11307

Merged

roboquat merged 1 commit intomainfrom

felladrin/11291

Jul 13, 2022

Commits on Jul 12, 2022

Clean code from GitpodServerLauncher and update JetBrains backend-plugin to work when user has proxies
felladrin
committed