[code] upgrade code to 1.88.1

[mustard-mh]

Description

Update code to 1.88.1

Progress

• Update Insiders (https://github.com/gitpod-io/gitpod/blob/main/WORKSPACE.yaml)
• Update Stable (https://github.com/gitpod-io/gitpod/blob/main/install/installer/pkg/components/workspace/ide/constants.go)
• Update code versions array

How to test

• Switch to VS Code Browser Insiders in settings.
• Start a workspace.
• Test the 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 operable
    • 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
  • that a PR view is preloaded when opening a 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 like vscode_extension_gallery is collected in Segment

Preview status

Gitpod was successfully deployed to your preview environment.

• 🏷️ Name - hw-vs-188-1
• 🔗 URL - hw-vs-188-1.preview.gitpod-dev.com/workspaces.
• 📚 Documentation - See our internal documentation for information on how to interact with your preview environment.
• 📦 Version - hw-vs-188-1-gha.24692
• 🗒️ Logs - GCP Logs Explorer

Werft options:

• /werft with-preview
• /werft analytics=segment
• /werft with-large-vm

[mustard-mh]

hold until upstream released

[filiptronicek]

Approving to unblock

[mustard-mh]

Checked telemetry by update proxy manually

[jeanp413]

@mustard-mh 1.88.1 was released 2 weeks ago https://github.com/microsoft/vscode/releases/tag/1.88.1

[mustard-mh]

@mustard-mh 1.88.1 was released 2 weeks ago https://github.com/microsoft/vscode/releases/tag/1.88.1

Oops