Interface: GithubWebhookPullRequestPayload
Defined in: github/src/executors/github-webhook-event.ts:18
Pull request payload nested inside a GitHub pull_request webhook event.
Exposes merge status, merge commit SHA, and head/base branch references for stream filtering.
Properties
| Property | Modifier | Type | Description | Defined in |
|---|---|---|---|---|
base | readonly | GithubWebhookBranchRef | Target base branch reference descriptor. | github/src/executors/github-webhook-event.ts:28 |
head | readonly | GithubWebhookBranchRef | Source feature branch reference descriptor. | github/src/executors/github-webhook-event.ts:26 |
merge_commit_sha | readonly | string | Merge commit SHA produced when the pull request merged. | github/src/executors/github-webhook-event.ts:24 |
merged | readonly | boolean | True when the pull request was closed by merging. | github/src/executors/github-webhook-event.ts:22 |
number? | readonly | number | Optional pull request number. | github/src/executors/github-webhook-event.ts:20 |