github_merge_pr
[WRITE — changes the target branch] Merge a GitHub pull request (merge, squash or rebase). Only do this when the user has explicitly asked to merge. Requires confirm:true.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sha | No | Only merge if the PR head is still this commit (optional safety check) | |
| repo | Yes | Repository as owner/name, e.g. "octocat/hello-world" (a github.com URL works too) | |
| method | No | Default merge | |
| number | Yes | Pull request number | |
| confirm | No | Must be true to actually do this on GitHub. Omit/false to refuse (safety gate). | |
| commit_title | No | Merge commit title (optional) |