tree bb3eee6e60b39557a2514085e051e883bc3de784
parent d79f84d07d5d040c17ea6a9561784b7cf461b89e
author Luca Milanesio <luca.milanesio@gmail.com> 1585663832 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1585663835 +0100

Do not use Jenkins pipeline default checkout

Jenkins pipeline default checkout has issues with
merge commits and also do not take into consideration
the Gerrit target branch where the patch-set is going
to be merge into.

Change-Id: I3633cb7da0b0461e74275a2572106e42b05e6509