Browse Source

ci: do not commit PR testing [skip ci]

Baptiste Augrain 1 year ago
parent
commit
1c424b6c05
1 changed files with 1 additions and 1 deletions
  1. 1 1
      get_repo.sh

+ 1 - 1
get_repo.sh

@@ -14,7 +14,7 @@ if [[ -n "${PULL_REQUEST_ID}" ]]; then
   git fetch --unshallow
   git fetch origin "pull/${PULL_REQUEST_ID}/head"
   git checkout FETCH_HEAD
-  git merge --no-commit "origin/${BRANCH_NAME}"
+  git merge --no-ff --no-commit "origin/${BRANCH_NAME}"
 fi
 
 if [[ -z "${RELEASE_VERSION}" ]]; then