diff options
-rw-r--r-- | Jenkinsfile | 3 |
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 } |