[codex] Use uncommon local dev ports - #10

[codex] Use uncommon local dev ports#10

zifanzhou1024 merged 1 commit into

mainzifanzhou1024/gamma-scope:mainfrom

codex/local-dev-portszifanzhou1024/gamma-scope:codex/local-dev-portsCopy head branch name to clipboard