On Wed, Jun 5, 2019 at 11:06 AM Julien HENRY <julien.he...@sonarsource.com> 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 jenkinsci-dev+unsubscr...@googlegroups.com. 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.
