From efb9e2fe5441d23c0a488b940584130b56b32c29 Mon Sep 17 00:00:00 2001
From: Carlos Tadeu Panato Junior <ctadeu@gmail.com>
Date: Sun, 23 Jun 2019 12:29:16 +0200
Subject: [PATCH] fix the clean checkou and only check in PR (#11363)

---
 build/Jenkinsfile.pr | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build/Jenkinsfile.pr b/build/Jenkinsfile.pr
index 26394defb1..fc6c61f5a6 100644
--- a/build/Jenkinsfile.pr
+++ b/build/Jenkinsfile.pr
@@ -237,6 +237,9 @@ pipeline {
         }
 
         stage('Clean checkout') {
+            when {
+                expression { env.CHANGE_ID != null }
+            }
             // We need to perform a clean checkout here to ge the original git commit hash from the PR
             // Jenkins now merges master in top of the PR and this generate a new git hash
             // We need to do that to build the docker image based on the original git commit and then this will be used by