ssh: Add options for port forwarding

[abitrolly]

Description

Make gp ssh --local generate parameters for local port forwarding, and --remote for remote forwards.

Summary generated by Copilot

🤖 Generated by Copilot at d910feb

Add port forwarding options to ssh command in gitpod-cli. This enables users to access or expose services between their local machines and their workspaces.

Related Issue(s)

Fixes #

How to test

Documentation

Preview status

gitpod:summary

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
• with-integration-tests=all
  Valid options are all, workspace, webapp, ide, jetbrains, vscode, ssh. If enabled, with-preview and with-large-vm will be enabled.
• with-monitoring

/hold

[stale]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[geropl]

Hey @abitrolly ,

thank you for your interest and support for Gitpod! 🧡

We are currently re-thinking the Gitpod cli, and how it should integrate with local apps, so won't be looking into merging external changes for now.
Happy coding!