[code] build code stable release 1.71

[mustard-mh]

Description

Build a stable code image for 1.71 release

Related Issue(s)

Relates #12470

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
    • telemetry in server, i.e. vscode_notification
    • telemetry in browser, i.e. vscode_browser_remote_connection_latency

Release Notes

NONE

Documentation

Werft options:

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

[mustard-mh]

/werft run

👍 started the job as gitpod-build-hw-build-vs.2
(with .werft/ from main)

[iQQBot]

LGTM, 🎉