Hello,
We are facing a curious issue. We have a job that needs to be triggered
when PR is closed (either merge or close).
Unfortunately Jenkins Github Pull Request Builder plugin does not support
that event (yet?) so there are no triggers available for PR close (even
though it has triggers for commit).
Do you have any experience with this particular problem? Have you ever
handled these github events or made a webtask hooking those webhooks?
Any information is welcome.
Tibor Dancs