merge_pull_request

Merge a GitHub pull request by specifying the owner, repository, and pull number. Supports merge methods: merge, squash, or rebase, with customizable commit titles and messages.

Instructions

Merge a pull request

Input Schema

Name	Required	Description
`commit_message`	No	Extra detail to append to automatic commit message
`commit_title`	No	Title for the automatic commit message
`merge_method`	No	Merge method to use
`owner`	Yes	Repository owner (username or organization)
`pull_number`	Yes	Pull request number
`repo`	Yes	Repository name

Input Schema (JSON Schema)

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false,
  "properties": {
    "commit_message": {
      "description": "Extra detail to append to automatic commit message",
      "type": "string"
    },
    "commit_title": {
      "description": "Title for the automatic commit message",
      "type": "string"
    },
    "merge_method": {
      "description": "Merge method to use",
      "enum": [
        "merge",
        "squash",
        "rebase"
      ],
      "type": "string"
    },
    "owner": {
      "description": "Repository owner (username or organization)",
      "type": "string"
    },
    "pull_number": {
      "description": "Pull request number",
      "type": "number"
    },
    "repo": {
      "description": "Repository name",
      "type": "string"
    }
  },
  "required": [
    "owner",
    "repo",
    "pull_number"
  ],
  "type": "object"
}

GitHub MCP Server

merge_pull_request

Instructions

Input Schema

Input Schema (JSON Schema)

Other Tools from GitHub MCP Server

Related Tools

MCP directory API