GitHub · Capability
github-repos-api — Merged
github-repos-api — Merged. 1 operations. Lead operation: GitHub Check if Pull Request Has Been Merged. Self-contained Naftiko capability covering one Github business surface.
What You Can Do
GET
Checkifpullrequesthasbeenmerged
— GitHub Check if Pull Request Has Been Merged
/v1/repos/{owner}/{repo}/pulls/{pull-number}/merge
MCP Tools
github-check-if-pull-request
GitHub Check if Pull Request Has Been Merged
read-only
idempotent