MERGE_PULL_REQUEST
Merge an open pull request.
Parameters
| Name | Type | Required | Description |
|---|---|---|---|
owner | string | yes | Repository owner |
repo | string | yes | Repository name |
pull_number | integer | yes | Pull request number |
merge_method | merge | squash | rebase | — | Merge method (default: merge) |
commit_message | string | — | Custom merge commit message |
How to use it
You normally trigger this by describing what you want in chat — the agent selects MERGE_PULL_REQUEST automatically. For example:
Try saying
“use github to merge …”
In a workflow
As a step in a multi-step workflow DAG:
json
{
"id": "s1",
"agent": "github",
"action": "MERGE_PULL_REQUEST",
"args": {
"owner": "…",
"repo": "…",
"pull_number": 1
},
"depends_on": [],
"outputs": []
}Direct call
For scripting, call it directly via POST /execute_tool. Every tool returns { success, message, data }.
bash
curl -X POST http://127.0.0.1:8000/execute_tool \
-H "Content-Type: application/json" \
-d '{"tool_name":"MERGE_PULL_REQUEST","args":{"owner":"…","repo":"…","pull_number":1}}'Part of the github plugin. Browse the full Plugin & Tool Catalog or the relevant feature guide.