Check whether a pull request was merged
One step with GitHub. We can help you get access.
Look something up
Check whether a pull request was merged
with GitHub · Software Construction Management
Use GitHub: its GitHub v3 REST Pulls API lets you check whether a pull request was merged in a single step (GET /repos/{owner}/{repo}/pulls/{pull_number}/merge). capabilities.work can help you get signed up and connected.
- Has a given pull request actually been merged into its base branch?
- Can I check merge status with just the HTTP response code?
Say it to your AI assistant
- Check whether PR #{pull_number} in {owner}/{repo} has been merged.
- Confirm whether pull request {pull_number} in {owner}/{repo} was merged into its base branch.
For your developer
GET /repos/{owner}/{repo}/pulls/{pull_number}/merge in GitHub v3 REST Pulls API. Full spec on APIs.io.