diff --git a/Jenkinsfile b/Jenkinsfile
index 095425a738..2fb70d4b41 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
         }