Get SSH username from workspacekit

[aledbf]

Description

In next-gen we need to interact with workspacekit to get details from the username running in the workspace.

Summary generated by Copilot

🤖[deprecated] Generated by Copilot at cebbfc7

Improved SSH proxy to use the user's preferred username for the workspace IDE. Added a function to query workspacekit for the SSH username in server.go.

Preview status

Gitpod was successfully deployed to your preview environment.

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

Build Options

Build

• /werft with-werft
  Run the build with werft instead of GHA
• leeway-no-cache
• /werft no-test
  Run Leeway with --dont-test

Publish

• /werft publish-to-npm
• /werft publish-to-jb-marketplace

Installer

• analytics=segment
• with-dedicated-emulation
• workspace-feature-flags
  Add desired feature flags to the end of the line above, space separated

Preview Environment / Integration Tests

• /werft with-local-preview
  If enabled this will build install/preview
• /werft with-preview
• /werft with-large-vm
• /werft with-gce-vm
  If enabled this will create the environment on GCE infra
• /werft preemptible
  Saves cost. Untick this only if you're really sure you need a non-preemtible machine.
• with-integration-tests=workspace
  Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh. If enabled, with-preview and with-large-vm will be enabled.
• with-monitoring

/hold