One-shot Terminal Titles#8813

aibrahim-oai wants to merge 1 commit intomainopenai/codex:mainfrom

codex/set-terminal-title-via-apiopenai/codex:codex/set-terminal-title-via-apiCopy head branch name to clipboard