On Wed, Jun 5, 2019 at 11:06 AM Julien HENRY <[email protected]> wrote: > https://github.com/deis/workflow-cli/blob/a285f6914f10ce81d0afe5d53603aa36cda78ccd/Jenkinsfile#L67
That particular implementation is wrong anyway, since the PR head commit might happen to be a merge commit, for example by a developer resolving conflicts with the base branch. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" 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-dev/CANfRfr39DuDOx8Ajb1GnHUxawomxjTjm4W5_0D2z1ZoquqhY9w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
