create_pull_request
Automates GitHub pull request creation by specifying repository owner, repo name, title, branch details, and optional draft or maintainer permissions. Simplifies code collaboration workflows.
Instructions
Create a new pull request in a GitHub repository
Input Schema
Name | Required | Description | Default |
---|---|---|---|
base | Yes | The name of the branch you want the changes pulled into | |
body | No | Pull request body/description | |
draft | No | Whether to create the pull request as a draft | |
head | Yes | The name of the branch where your changes are implemented | |
maintainer_can_modify | No | Whether maintainers can modify the pull request | |
owner | Yes | Repository owner (username or organization) | |
repo | Yes | Repository name | |
title | Yes | Pull request title |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"base": {
"description": "The name of the branch you want the changes pulled into",
"type": "string"
},
"body": {
"description": "Pull request body/description",
"type": "string"
},
"draft": {
"description": "Whether to create the pull request as a draft",
"type": "boolean"
},
"head": {
"description": "The name of the branch where your changes are implemented",
"type": "string"
},
"maintainer_can_modify": {
"description": "Whether maintainers can modify the pull request",
"type": "boolean"
},
"owner": {
"description": "Repository owner (username or organization)",
"type": "string"
},
"repo": {
"description": "Repository name",
"type": "string"
},
"title": {
"description": "Pull request title",
"type": "string"
}
},
"required": [
"owner",
"repo",
"title",
"head",
"base"
],
"type": "object"
}