Fix issue-backed source repair handling - #1950

Fix issue-backed source repair handling#1950

stranske merged 2 commits into

mainstranske/Workflows:mainfrom

codex/issue-1937-source-context-repair-followupstranske/Workflows:codex/issue-1937-source-context-repair-followupCopy head branch name to clipboard