Skip to content

campaigns: Handle GitHub merge events

Administrator requested to merge github-merged-event into master

Created by: ryanslade

GitHub does not send specific merge webhook events, instead it sends a PullRequest event with the close action and sets a merged flag.

https://developer.github.com/v3/activity/events/types/#pullrequestevent

When we see that flag set we'll persist it as a MergeEvent instead.

Closes: https://github.com/sourcegraph/sourcegraph/issues/10071

Merge request reports

Loading