Repository navigation

Remove from list: a repository header's menu and Ctrl Shift Backspace in the switcher - #2

Merged

kylekz merged 4 commits into

kylekz:mainfrom

Method-es:feat/remove-known-repo

Oct 29, 2026

Merged

Remove from list: a repository header's menu and Ctrl Shift Backspace in the switcher#2
kylekz merged 4 commits into
kylekz:mainfrom
Method-es:feat/remove-known-repo

Commits on Oct 28, 2026
- Remove from list: a repository header's menu and Ctrl Shift Backspace in the switcher
  Keaton Johnstone
  committed
  7be3159
Commits on Oct 29, 2026
- Merge main into feat/remove-known-repo
  
  kylekz
  and
  claude
  committed
  3eaa393
- switcher_remove_repo: compare the repos' paths as dv reports them
  
  kylekz
  and
  claude
  committed
  63d729a
- Merge main into feat/remove-known-repo
  
  kylekz
  and
  claude
  committed
  2de41a4