GitHub
merge_pull_request
Merge a pull request in a GitHub repository.
Remote github
Other tools also called merge_pull_request?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"repo": {
"type": "string",
"description": "Repository name"
},
"owner": {
"type": "string",
"description": "Repository owner"
},
"pullNumber": {
"type": "number",
"description": "Pull request number"
},
"commit_title": {
"type": "string",
"description": "Title for merge commit"
},
"merge_method": {
"enum": [
"merge",
"squash",
"rebase"
],
"type": "string",
"description": "Merge method"
},
"commit_message": {
"type": "string",
"description": "Extra detail for merge commit"
}
}
}