Use merge not rebase

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6c1160678f7aa716ed6b3e666156953246c52ed6..5e00ce2ae392c77f9bd27e130741f73699a70847 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -477,7 +477,7 @@ jobs:
         git remote set-url origin https://$USERNAME:$REPO_KEY@github.com/$REPO_NAME
         git fetch --no-recurse-submodules upstream +refs/heads/*:refs/remotes/upstream/* +refs/tags/*:refs/tags/upstream/*
         git checkout --progress --force -B upstream-branch "refs/remotes/upstream/$BRANCH"
-        git pull --rebase upstream "$BRANCH"
+        git merge "$BRANCH" --ff-only
         git push upstream "upstream-branch:$BRANCH"
         git push origin "upstream-branch:$BRANCH" || true
       env: