GitHubPullRequest
GitHubPullRequest describes a GitHub pull request that a stack update was associated with.
Properties
titlestring requiredThe title of the pull requestnumberinteger requiredThe pull request numberrepoSlugstring requiredThe repository slug in owner/repo formatcreatedAtinteger requiredUnix epoch timestamp (seconds) of when the PR was created.closedAtinteger optionalUnix epoch timestamp (seconds) of when the PR was closed. Null if the PR is still open.wasMergedboolean requiredWhether the PR was mergedsourceRefstring requiredThe source branch referencetargetRefstring requiredThe target branch referencemergeCommitSHAstring optionalThe SHA of the merge commit, if the PR was merged
Thank you for your feedback!
If you have a question about how to use Pulumi, reach out in Community Slack.
Open an issue on GitHub to report a problem or suggest an improvement.