Merge a pull request
One step with GitHub. We can help you get access.
Get something done
Merge a pull request
with GitHub · Software Construction Management
Use GitHub: its GitHub v3 REST Pulls API lets you merge a pull request in a single step (PUT /repos/{owner}/{repo}/pulls/{pull_number}/merge). capabilities.work can help you get signed up and connected.
- How do I merge a pull request through the API?
- Can I squash or rebase instead of making a merge commit?
- Is there a way to make the merge fail if the branch head moved since I reviewed it?
Say it to your AI assistant
- Merge PR #{pull_number} in {owner}/{repo}.
- Merge pull request {pull_number} in {owner}/{repo} using the {merge_method} method.
- Merge PR {pull_number} in {owner}/{repo} only if its head is still {sha}, with commit title {commit_title}.
For your developer
PUT /repos/{owner}/{repo}/pulls/{pull_number}/merge in GitHub v3 REST Pulls API. Full spec on APIs.io.