create_pull_request
Create a pull request in a GitHub repository by specifying owner, repo, head, and base branches, with options for title, body, draft status, and issue conversion.
Instructions
Create a new pull request in a GitHub repository. Docs: https://docs.github.com/en/rest/pulls/pulls#create-a-pull-request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | Yes | Branch you want the changes pulled into | |
| body | No | Pull request body/description | |
| head | Yes | Branch containing the changes, e.g. "octocat:feature-branch" | |
| repo | Yes | Repository name | |
| draft | No | Whether to create the pull request as a draft | |
| issue | No | Issue number to convert into a pull request | |
| owner | Yes | Repository owner (user or organization login) | |
| title | No | Pull request title (required unless issue is specified) | |
| maintainer_can_modify | No | Whether maintainers can modify the pull request |