Summary
The server exposes create_branch and list_branches but has no delete_branch tool. After merging a PR, there's no way to clean up the remote branch without falling back to gh api -X DELETE.
Proposed tool
delete_branch(owner, repo, branch)
Maps to DELETE /repos/{owner}/{repo}/git/refs/heads/{branch}.
Use case
Standard PR workflow: create branch → open PR → merge → delete branch. The last step currently requires dropping out of MCP.
Summary
The server exposes
create_branchandlist_branchesbut has nodelete_branchtool. After merging a PR, there's no way to clean up the remote branch without falling back togh api -X DELETE.Proposed tool
Maps to
DELETE /repos/{owner}/{repo}/git/refs/heads/{branch}.Use case
Standard PR workflow: create branch → open PR → merge → delete branch. The last step currently requires dropping out of MCP.