Home / Servers / GitHub API / pulls_get_merge_async_result
Get the result of an asynchronous merge
An MCP tool from the GitHub API server, hosted on mcp.hjlabs.in.
Get the result of an asynchronous merge Fetches the current result of an asynchronous merge request, identified by the UUID that was returned when the merge was requested. While the request's status is pending, the response includes the… [GET /repos/{owner}/{repo}/pulls/{pull_number}/merge-async/{uuid}]
Name on the gateway: github_api__pulls_get_merge_async_result · read-only.
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. |
uuid required | string | The UUID of the asynchronous merge request, as returned… |
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_get_merge_async_result",
"arguments": {
"owner": "…",
"repo": "…",
"pull_number": 0,
"uuid": "…"
}
}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 get the result of an asynchronous merge tool with owner set to ….