While regular GitHub PUSH event can be handled via this property setting in Jenkinsfile pipeline script, am interested to know if there is similar property for GitHub Pull Requests?
>>> pipelineTriggers([githubPush()])
Setup:
Jenkins ver is @ 2.60.1, have webhook setup between GitHub Enterprise and Jenkins master.
Project is setup to trigger automatic build upon GitHub events (Push, PR), it is a regular pipeline job -- with regular Push event from GitHub, automatically fresh build job is triggered in the above setup, want to know if there is a similar way to handle PRs too via properties?
NOTE:
Am aware of other options that can be chosen while setting up project, like, GitHub organizational folder, MultiBranch Pipeline ; but, wanted to explore this PR topic with simple pipeline project setup in Jenkins.
/Ram