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