Github Update Pr Branch
github_update_pr_branchUpdate a pull request branch with latest upstream changes, using expected_head_sha to refuse overwriting newer commits.
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.
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 | |||