update_pull_request
Modify or close a GitHub pull request by updating its title, body, branch, or state, ensuring maintainers can adjust permissions as needed.
Instructions
Update an existing pull request in a GitHub repository
Input Schema
Name | Required | Description | Default |
---|---|---|---|
base | No | The name of the branch you want the changes pulled into | |
body | No | New pull request body | |
maintainer_can_modify | No | Whether maintainers can modify the pull request | |
owner | Yes | Repository owner (username or organization) | |
pull_number | Yes | Pull request number | |
repo | Yes | Repository name | |
state | No | New pull request state | |
title | No | New pull request title |