Tool
Create pull request
The Create Pull Request tool enables developers to efficiently open new pull requests on GitHub repositories directly, streamlining collaboration and code review workflows.
Features
- Supports specifying the source branch (head) and target branch (base) for the pull request.
- Allows adding a detailed description to provide context for the changes.
- Option to create pull requests as drafts for early feedback.
- Configurable settings to allow maintainers to modify the pull request.
- Easy integration with GitHub repositories by specifying owner and repository name.
Benefits
- Speeds up the process of submitting code changes for review.
- Enhances team collaboration by clearly communicating changes.
- Reduces errors by automating pull request creation with required parameters.
- Facilitates early feedback through draft pull requests.
- Improves repository management with customizable permission settings.
Description
Create a new pull request in a GitHub repository.
Parameters
8 parameters
| Name | Type | Description |
|---|---|---|
| baserequired | string | Branch to merge into |
| body | string | PR description |
| draft | boolean | Create as draft PR |
| headrequired | string | Branch containing changes |
| maintainer_can_modify | boolean | Allow maintainer edits |
| ownerrequired | string | Repository owner |
| reporequired | string | Repository name |
| titlerequired | string | PR title |
