All Tools/Github Merge Pull Request

Github Merge Pull Request

Merge a pull request using merge, squash, or rebase strategy. CAUTION: Merging is permanent and cannot be undone (though commits can be reverted). PR must be in mergeable state with no conflicts and a…

Active
View Github Tools

Providers

This tool works seamlessly with the following services

Github

GitHub is the world's leading software development platform. Full CRUD operations for repositories, issues, pull requests, comments, and labels. Create issues, merge PRs, manage repos, and automate workflows through the GitHub REST API.

Available in Bundles

Github Tools

developer tools

GitHub is the world's leading software development platform. Full CRUD operations for repositories, issues, pull requests, comments, and labels. Create issues, merge PRs, manage repos, and automate workflows through the GitHub REST API.

Tool Information

Status
Active
Version
1.0.0
CreatedOctober 17, 2025
UpdatedNovember 3, 2025

Ready to Use?

Sign in to start using this tool with your AI assistants.

Github Merge Pull Request [C0B] - Github • MCP Tools