Repository navigation

fix(web): open remote editors with the environment user - #8305

Closed

jakeleventhal wants to merge 3 commits into

pingdotgg:mainfrom

jakeleventhal:fix/remote-open-ssh-username

Closed

fix(web): open remote editors with the environment user#8305
jakeleventhal wants to merge 3 commits into
pingdotgg:mainfrom
jakeleventhal:fix/remote-open-ssh-username

Commits on Oct 9, 2026
- fix(web): open remote editors with the environment user
  jakeleventhal
  committed
  1209efd
- fix(server): preserve remote targets without a username
  jakeleventhal
  committed
  526f14d
- fix(editors): include the environment user in Zed remote links
  
  jakeleventhal
  and
  claude
  committed
  d3bdad4