github.mergePullRequest merges a pull request through GitHub.
automations/merge-github-pull-request.automation.ts
owner, repository, and positive integer pullRequestNumber. Optional fields are commitTitle, commitMessage, and expected head sha. Optional second argument { account } selects the GitHub binding. mergeMethod accepts "merge", "rebase", or "squash". Inputs accept compatible signals.
Returns { merged: boolean; message: string; sha: string | null }. When merged is false, message explains why. Repository rules, required checks, reviews, conflicts, methods that the repository doesn’t allow, or a mismatched sha can prevent merging.