Build stable image for VS Code Browser 1.72

[filiptronicek]

Description

Update code to 1.72.0

How to test

• Switch to VS Code Insiders in settings.
• Start a workspace.
• Test following:
  • terminals are preserved and resized properly between window reloads
  • WebViews are working
  • extension host process: check language smartness and debugging
  • extension management (installing/uninstalling)
  • install the VIM extension to test web extensions
  • that user data is synced across workspaces as well as on workspace restarts, especially for extensions
    • extensions from .gitpod.yml are not installed as sync
    • extensions installed as sync are actually synced to all new workspaces
  • settings should not contain any mentions of MS telemetry
  • WebSockets and workers are properly proxied
    • diff editor should be operatable
    • trigger reconnection with window.WebSocket.disconnectWorkspace(), check that old WebSockets are closed and new opened of the same amount
  • workspace specific commands should work, i.e. F1 → type Gitpod prefix
  • that a PR view is preloaded on the PR URL
  • test gp open and gp preview
  • test open in VS Code Desktop, check gp open and gp preview in task/user terminals
  • telemetry data is collected in Segment

Release Notes

Release VS Code Browser `1.72`

Werft options:

• /werft with-preview
• /werft analytics=segment|TEZnsG4QbLSxLfHfNieLYGF4cDwyFWoe

[filiptronicek]

/werft run with-clean-slate

👍 started the job as gitpod-build-code-insiders-1.72.5
(with .werft/ from main)

[filiptronicek]

/werft run

👍 started the job as gitpod-build-code-insiders-1.72.6
(with .werft/ from main)

[filiptronicek]

/werft run with-preview with-clean-slate-deployment

👍 started the job as gitpod-build-code-insiders-1.72.7
(with .werft/ from main)

[filiptronicek]

/werft run with-preview with-clean-slate-deployment

👍 started the job as gitpod-build-code-insiders-1.72.9
(with .werft/ from main)

[akosyakov]

release notes none?

[filiptronicek]

release notes none?

Wasn't sure about whether we decided officially to include it (just a couple versions back, we didn't), will add it.

[jeanp413]

@filiptronicek good to go, extension sync is working,
P.S.: I couldn't test test open in VS Code Desktop something is wrong with prev env (not related to vscode) that cannot connect to ssh , so I would say just skip it.

[filiptronicek]

/hold

[filiptronicek]

Thanks @jeanp413 for looking into it and fixing the issue 🙏, will raise the follow up PR soon and request a review from you again if that's alright.

[filiptronicek]

/unhold