From fad7281d7842f337932cf44e703fdd631230ddd6 Mon Sep 17 00:00:00 2001 From: MacroFake Date: Thu, 29 Sep 2022 13:43:06 +0200 Subject: ci: Use remote pull/merge ref instead of local git merge The merge strategy on the remote may be different than the local one. This may cause local merges to be different or fail completely. Fix this by using the result of the remote merge. --- .cirrus.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '.cirrus.yml') diff --git a/.cirrus.yml b/.cirrus.yml index ae962f2906..de7b45c920 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -30,8 +30,8 @@ base_template: &BASE_TEMPLATE - git config --global user.email "ci@ci.ci" - git config --global user.name "ci" - if [ "$CIRRUS_PR" = "" ]; then exit 0; fi - - git fetch $CIRRUS_REPO_CLONE_URL $CIRRUS_BASE_BRANCH - - git merge FETCH_HEAD # Merge base to detect silent merge conflicts + - git fetch $CIRRUS_REPO_CLONE_URL "pull/${CIRRUS_PR}/merge" + - git checkout FETCH_HEAD # Use merged changes to detect silent merge conflicts main_template: &MAIN_TEMPLATE timeout_in: 120m # https://cirrus-ci.org/faq/#instance-timed-out -- cgit v1.2.3