boj_github_merge_pr
Merge GitHub pull requests using merge, squash, or rebase methods to integrate code changes into repositories.
Instructions
Merge a pull request
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| repo | Yes | ||
| pull_number | Yes | ||
| method | No |
Implementation Reference
- mcp-bridge/main.js:255-256 (handler)The handler implementation for "boj_github_merge_pr" which calls the GitHub API to merge a pull request.
case "boj_github_merge_pr": return githubApiCall("PUT", `/repos/${args.owner}/${args.repo}/pulls/${args.pull_number}/merge`, { merge_method: args.method || "merge" }); - mcp-bridge/main.js:539-539 (schema)The schema/registration definition for "boj_github_merge_pr" including description and expected parameters.
{ name: "boj_github_merge_pr", desc: "Merge a pull request", props: { owner: { type: "string" }, repo: { type: "string" }, pull_number: { type: "number" }, method: { type: "string", enum: ["merge", "squash", "rebase"] } }, req: ["owner", "repo", "pull_number"] },