mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* [ws-proxy] only get username if workspace not managed by mk2 * remove ssh key from infoprovider * improve logs * Update components/ws-proxy/pkg/sshproxy/server.go