update-pull-request-branch
Update a pull request branch with the latest changes from the base branch to resolve merge conflicts and ensure code is current.
Instructions
Update a pull request branch with the latest changes from the base branch
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| expected_head_sha | No | The expected SHA of the pull request's HEAD ref | |
| owner | Yes | Repository owner (username or organization) | |
| pull_number | Yes | Pull request number | |
| repo | Yes | Repository name |
Input Schema (JSON Schema)
{
"properties": {
"expected_head_sha": {
"description": "The expected SHA of the pull request's HEAD ref",
"type": "string"
},
"owner": {
"description": "Repository owner (username or organization)",
"type": "string"
},
"pull_number": {
"description": "Pull request number",
"type": "number"
},
"repo": {
"description": "Repository name",
"type": "string"
}
},
"required": [
"owner",
"repo",
"pull_number"
],
"type": "object"
}