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

dsyme merged 18 commits into
mainfrom
fix/issue-37835-derive-push-branch-from-pr

Commits

Commits on Jun 8, 2026

Commits on Jun 9, 2026

Commits on Jun 10, 2026