GitHub

update_pull_request_branch

Update the branch of a pull request with the latest changes from the base branch.

Other tools also called update_pull_request_branch? See providers with this name

Input Schema

            {
  "type": "object",
  "properties": {
    "repo": {
      "type": "string",
      "description": "Repository name"
    },
    "owner": {
      "type": "string",
      "description": "Repository owner"
    },
    "pullNumber": {
      "type": "number",
      "description": "Pull request number"
    },
    "expectedHeadSha": {
      "type": "string",
      "description": "The expected SHA of the pull request's HEAD ref"
    }
  }
}
          

Provider

GitHub →