chore(codex): bootstrap PR for issue #1#3

stranske wants to merge 1 commit intomainstranske/Workflows:mainfrom

codex/issue-1stranske/Workflows:codex/issue-1Copy head branch name to clipboard