[codex] harden web ssh terminal reconnect#226

Merged

skulidropek merged 2 commits intomainfrom

codex/shared-browser-agent-isolation

Apr 16, 2026

Commits on Apr 16, 2026

harden web ssh terminal reconnect
${ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}$ ${ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}$
{ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}
authored and
{ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}
committed
fix web terminal lint
${ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}$ ${ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}$
{ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}
authored and
{ "message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}
committed