Support updating PR branches

This commit is contained in:
Justin Spahr-Summers
2025-01-10 11:53:23 +00:00
parent f42cf77d57
commit ac7592f71a
3 changed files with 55 additions and 0 deletions

View File

@@ -252,6 +252,15 @@ MCP Server for the GitHub API, enabling file operations, repository management,
- `pull_number` (number): Pull request number
- Returns: Combined status check results and individual check details
24. `update_pull_request_branch`
- Update a pull request branch with the latest changes from the base branch (equivalent to GitHub's "Update branch" button)
- Inputs:
- `owner` (string): Repository owner
- `repo` (string): Repository name
- `pull_number` (number): Pull request number
- `expected_head_sha` (optional string): The expected SHA of the pull request's HEAD ref
- Returns: Success message when branch is updated
## Search Query Syntax
### Code Search