Fix stable promotion fetch/merge
All checks were successful
CI/CD Pipeline / test (push) Successful in 2s
CI/CD Pipeline / deploy (push) Successful in 19s
CI/CD Pipeline / promote_stable (push) Successful in 3s

This commit is contained in:
2026-02-11 17:46:56 +01:00
parent 68dd17f895
commit af03c23c9f

View File

@@ -56,5 +56,5 @@ jobs:
git clone --quiet --depth=1 --branch=stable "$REPO" repo
cd repo
git fetch origin master
git merge --ff-only origin/master
git merge --ff-only FETCH_HEAD
git push origin stable