This workaround is a good idea, unfortunately it wouldn't work for us because of the amount of PRs. I ended up extending the github branch source plugin to let me filter based on this property. Not sure how to go about contributing this back, or if it's even a feature that would be welcomed.
On Monday, August 28, 2017 at 7:41:52 PM UTC+1, Baptiste Mathus wrote: > > Didn't find it after a 30 seconds look, but possibly there's an env var > for the target branch. Then, you could simply add a condition in your > pipeline to stop the build immediately if this is not the branch you want. > > -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/1add6daa-b21c-4fe4-b24b-90b9cef426a5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
