Repository navigation

sessions: Refine remote management labels and saved SSH cleanup - #344273

Merged

Christof Marti (chrmarti) merged 5 commits into

mainfrom

chrmarti/remotes-labels-and-menus

Oct 26, 2026

Merged

sessions: Refine remote management labels and saved SSH cleanup#344273
Christof Marti (chrmarti) merged 5 commits into
mainfrom
chrmarti/remotes-labels-and-menus

Commits on Oct 26, 2026
- sessions: Clarify remote labels and reorder overflow groups
  
  Christof Marti (chrmarti)
  and
  Copilot
  committed
  13b4d0b
- sessions: Keep the Remotes setting experimental badge
  
  Christof Marti (chrmarti)
  and
  Copilot
  committed
  23e705f
- sessions: Align Remotes setup help with Dev Tunnels labels
  
  Christof Marti (chrmarti)
  and
  Copilot
  committed
  5602161
- sessions: Match Remotes section order to Environment picker
  
  Christof Marti (chrmarti)
  and
  Copilot
  committed
  98b7f5b
- sessions: Allow deleting saved SSH hosts absent from config
  
  Christof Marti (chrmarti)
  and
  Copilot
  committed
  803207d