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
Ci-users mailing list
Ci-users@centos.org
https://lists.centos.org/mailman/listinfo/ci-users