Skip to content

Fix #37835: always derive push_to_pull_request_branch from PR head ref#37863

Merged
dsyme merged 18 commits into
mainfrom
fix/issue-37835-derive-push-branch-from-pr
Jun 10, 2026
Merged

Fix #37835: always derive push_to_pull_request_branch from PR head ref#37863
dsyme merged 18 commits into
mainfrom
fix/issue-37835-derive-push-branch-from-pr