On Wed, Jan 30, 2019 at 12:34 AM Enrico Olivelli <eolive...@gmail.com> wrote: > Jenkins merges the patch with current master before running tests, doesn't > it?
I don't think this is being done by Jenkins, at least with the current configuration. I haven't seen any merge-conflict errors in Jenkins build while the conflict are then visible on GitHub where the "merge" button is disabled. It would be certainly nice to have in Jenkins for all these cases.
