summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 095425a73..2fb70d4b4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -52,6 +52,9 @@ node {
// Ensure we also have origin/master available
sh "git fetch --no-tags origin master:refs/remotes/origin/master"
+ // Try to rebase to origin/master; if this fails, fail the CI
+ sh "git rebase origin/master"
+
stash name: "source", useDefaultExcludes: false
}