Github Update Pr Branch
github_update_pr_branchUpdate a pull request branch to include latest upstream changes. Provide the expected head SHA to avoid overwriting recent pushes.
Instructions
Updates the pull request branch with the latest upstream changes. Read head_sha from github_get_pr_content and pass it as expected_head_sha to be refused rather than to overwrite a push that landed since.
Workflow and conventions: github_get_skill('pr-management').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes | ||
| expected_head_sha | No | Refuse unless the head still matches this SHA, as github_get_pr_content reports it |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||