Merge pull request #399 from thaJeztah/19.03_backport_do_the_right_diff_do_the_right_diff

[19.03 backport] Jenkinsfile: set repo and branch, to assist validate_diff()