Repository navigation

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

Merged

Method-es merged 2 commits into

mainfrom

merge/remove-known-repo

Oct 28, 2026

Merged

Remove from list: a repository header's menu and Ctrl Shift Backspace in the switcher#2
Method-es merged 2 commits into
mainfrom
merge/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
- Merge branch 'feat/remove-known-repo' into merge/remove-known-repo
  Keaton Johnstone
  committed
  c83d616