Home / Servers / GitHub API / pulls_merge_async
Merge a pull request asynchronously
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Merge a pull request asynchronously Merges a pull request into the base branch in the background or adds it to a merge queue. Background processing allows certain types of errors to be retried and reduces the risk of timeouts for… [PUT /repos/{owner}/{repo}/pulls/{pull_number}/merge-async]
Name on the gateway: github_api__pulls_merge_async · 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. |
commit_title | string | Title for the automatic commit message. Only supported for direct merges. |
commit_message | string | Extra detail to append to automatic commit message. Only supported for direct… |
sha | string | SHA that pull request head must match to allow merge. If not provided, the… |
merge_method | merge | squash | rebase | The merge method to use for a direct merge. Only supported for direct merges. |
merge_action | default | direct_merge | merge_queue | The action that will be taken to merge the pull request. direct_merge merges… |
bypass_rules | boolean | Whether to bypass repository rules that the authenticated actor is permitted… |
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_merge_async",
"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 merge a pull request asynchronously tool with owner set to ….