This answer is promising: http://stackoverflow.com/a/41164841/1530814
The problem is that when using Branch Source as Git (so that these options are available in the Jenkins UI, $CHANGE_ID is not available... (my code depends on it). When using Branch Source as GitHub, these options are not available... -- 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/5ee93b0d-3dfe-4cdf-9b5b-c52bdb1568a5%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
