Tool
Update pull request
The Update Pull Request tool streamlines managing GitHub pull requests by allowing users to modify existing pull requests directly within their repositories. It simplifies tasks such as changing base branches, updating descriptions, managing reviewers, and adjusting the pull request state efficiently.
Features
- Update the title and description of an existing pull request to keep information current.
- Change the base branch for the pull request to reflect new code targets.
- Mark pull requests as draft or ready for review to control workflow stages.
- Assign or remove reviewers easily by specifying GitHub usernames.
- Open or close pull requests and allow maintainers to modify the request as needed.
Benefits
- Enhances collaboration by keeping pull request information accurate and up to date.
- Saves time by enabling quick edits without needing to create new pull requests.
- Improves project management with flexible control over pull request statuses.
- Facilitates code review workflows by managing reviewers efficiently.
- Empowers maintainers to contribute to improvements, ensuring quality and consistency.
Description
Update an existing pull request in a GitHub repository.
Parameters
10 parameters
| Name | Type | Description |
|---|---|---|
| base | string | New base branch name |
| body | string | New description |
| draft | boolean | Mark pull request as draft (true) or ready for review (false) |
| maintainer_can_modify | boolean | Allow maintainer edits |
| ownerrequired | string | Repository owner |
| pullNumberrequired | number | Pull request number to update |
| reporequired | string | Repository name |
| reviewers | string[] | GitHub usernames to request reviews from |
| state | enum | New state |
| title | string | New title |
