fix(clients): default clone destination to folder plus repo name - #5989

Merged

juliusmarminge merged 7 commits into

pingdotgg:mainfrom

inayayousfi:fix/clone-default-destination-repo-name

Aug 15, 2026

Commits on Aug 15, 2026

fix(clients): default clone destination to folder plus repo name

inayayousfi
authored and
juliusmarminge
committed
f821d99
fix(clients): propose a clone folder for pasted clone URLs too

inayayousfi
authored and
juliusmarminge
committed
019e378
fix(clients): guard clone URLs that name no repository

inayayousfi
authored and
juliusmarminge
committed
6888fe8
fix(client-runtime): treat a numeric segment as a port only behind the host

inayayousfi
authored and
juliusmarminge
committed
d034440
fix(web): keep clone destinations anchored

juliusmarminge
and
codex
committed
48d25fd
fix(clients): keep clone destinations anchored across platforms
inayayousfi
committed
3b8392d
Merge branch 'main' into fix/clone-default-destination-repo-name
inayayousfi
authored
04fda2e