I created a webhook to receive 2 event types: push and merged but when I merge a PR, there is an additional repo:push event sent to my URL, is that event guaranteed to be sent when we merge a PR?
Indeed, this is the expected behavior. This is happening because the merge event is creating a new commit on the destination branch and that is considered a "push".
I hope this clarifies the situation, but please let me know if you have any questions.
@Caroline R So how can I know that this push event is due to a pull request being merged? is there any difference between the Pull request's push event and the normal push event?
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.
You must be a registered user to add a comment. If you've already registered, sign in. Otherwise, register and sign in.