{"command":{"effect":"write","timeoutSeconds":30,"inputSchema":{"type":"object","description":"Updates the pull request branch with the latest upstream changes by merging HEAD from the base branch into the pull request branch.\nNote: If making a request on behalf of a GitHub App you must also have permissions to write the contents of the head repository.","properties":{"path":{"type":"object","properties":{"owner":{"type":"string","description":"The account owner of the repository. The name is not case sensitive."},"repo":{"type":"string","description":"The name of the repository without the `.git` extension. The name is not case sensitive."},"pull_number":{"type":"integer","description":"The number that identifies the pull request."}},"required":["owner","repo","pull_number"],"additionalProperties":false},"body":{"type":["object","null"],"properties":{"expected_head_sha":{"type":"string","description":"The expected SHA of the pull request's HEAD ref. This is the most recent commit on the pull request's branch. If the expected SHA does not match the pull request's HEAD, you will receive a `422 Unprocessable Entity` status. You can use the \"[List commits](https://docs.github.com/rest/commits/commits#list-commits)\" endpoint to find the most recent commit SHA. Default: SHA of the pull request's current HEAD ref."}},"examples":[{"expected_head_sha":"6dcb09b5b57875f334f61aebed695e2e4193db5e"}]}},"required":["path"],"additionalProperties":false},"name":"Update a pull request branch","id":"github.pulls.update-branch","example":{"path":{"owner":"octocat","repo":"hello-world","pull_number":1}},"maxRequests":1,"summary":false}}