Repository navigation

fix: keep common tools with --no-ssh - #41

Merged

PabloZaiden merged 3 commits into

mainfrom

chat-devbox-1-e9e3c08e

Sep 11, 2026

Merged

fix: keep common tools with --no-ssh#41
PabloZaiden merged 3 commits into
mainfrom
chat-devbox-1-e9e3c08e

Commits on Sep 11, 2026
- fix: keep common tools with --no-ssh
  
  PabloZaiden
  and
  Copilot
  committed
  9aa7d99
- test: address no-ssh review feedback
  
  PabloZaiden
  and
  Copilot
  committed
  3015ead
- fix: make CI no-ssh tests portable
  
  PabloZaiden
  and
  Copilot
  committed
  12adfca