coverage icon indicating copy to clipboard operation
coverage copied to clipboard

Add support for GitHub Merge Queues

Open mars-lan opened this issue 8 months ago • 2 comments

When using GitHub Merge Queue to merge a PR, the event name will be merge_group rather than pull_request.

mars-lan avatar Oct 16 '23 11:10 mars-lan

@mars-lan thanks! can you help verify that the event properties contain -

const {pull_request} = context.payload
const base = pull_request?.base.sha
const head = pull_request?.head.sha

base/head sha? if you can send a link to the object in the docs

orgoro avatar Jan 24 '24 07:01 orgoro

There doesn't appear to be pull request details available in a merge group payload -> https://docs.github.com/en/webhooks/webhook-events-and-payloads#merge_group

techman83 avatar Mar 30 '24 03:03 techman83