github_create_pr
Create a pull request to merge source branch into target branch, with title, markdown body, and draft option.
Instructions
Create a new pull request.
Args: owner: Repository owner repo: Repository name title: PR title head: Source branch name (e.g., 'feature-branch') base: Target branch name (e.g., 'main') body: PR description/body (markdown supported) draft: Create as draft PR (default: False) session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | Yes | ||
| body | No | ||
| head | Yes | ||
| repo | Yes | ||
| draft | No | ||
| owner | Yes | ||
| title | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |