Skip to content

Clarify push_to_pull_request_branch branch parameter is optional for current branch#2437

Merged
pelikhan merged 4 commits intomainfrom
copilot/update-push-pull-request-tool
Oct 25, 2025
Merged

Clarify push_to_pull_request_branch branch parameter is optional for current branch#2437
pelikhan merged 4 commits intomainfrom
copilot/update-push-pull-request-tool

Commits

Commits on Oct 25, 2025