Home / Servers / GitHub API / pulls_update
Update a pull request
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Update a pull request Draft pull requests are available in public repositories with GitHub Free and GitHub Free for organizations, GitHub Pro, and legacy per-repository billing plans, and in public and private… [PATCH /repos/{owner}/{repo}/pulls/{pull_number}]
Name on the gateway: github_api__pulls_update · may change things.
Parameters
| Name | Type | Description |
|---|---|---|
owner required | string | The account owner of the repository. The name is not case… |
repo required | string | The name of the repository without the .git extension. The… |
pull_number required | integer | The number that identifies the pull request. |
title | string | The title of the pull request. |
body | string | The contents of the pull request. |
state | open | closed | State of this Pull Request. Either open or closed. |
base | string | The name of the branch you want your changes pulled into. This should be an… |
maintainer_can_modify | boolean | Indicates whether maintainers can modify the pull request. |
How to call it
Through the Smart Gateway, any client can run it by name with call_tool, or let the gateway find it with search_tools:
{
"name": "github_api__pulls_update",
"arguments": {
"owner": "…",
"repo": "…",
"pull_number": 0
}
}Or connect the GitHub API server directly, which lists 1,221 tools including this one:
claude mcp add --transport http hj-github-api https://mcp.hjlabs.in/mcp/github-api \
--header "Authorization: Bearer YOUR_API_KEY"Try asking
Use the update a pull request tool with owner set to ….