Repository navigation

ui: give Repositories the full row and move Add repository into a header button with a modal - #744

Merged

HugoXK merged 2 commits into

mainfrom

dev3/590-gate-resolve-evidence-v2

Nov 15, 2026

Merged

ui: give Repositories the full row and move Add repository into a header button with a modal#744
HugoXK merged 2 commits into
mainfrom
dev3/590-gate-resolve-evidence-v2

Commits on Nov 15, 2026
- ui: give Repositories the full row and move Add repository into a modal
  HugoXK
  committed
  fe254b6
- merge: take live main before review (#748)
  HugoXK
  committed
  f2299ce