From 9125e860ed9a5cd14e2651d9d66030e1762701b9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20Chocholat=C3=BD?= Date: Wed, 10 Jun 2026 15:35:34 +0200 Subject: [PATCH] github: fix: Create local devel branch when syncing wth master --- .github/workflows/release-master.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release-master.yml b/.github/workflows/release-master.yml index 56fe509cc..d21fb11d3 100644 --- a/.github/workflows/release-master.yml +++ b/.github/workflows/release-master.yml @@ -99,7 +99,7 @@ jobs: - uses: ./.github/workflows/actions/github-actions-git-config - name: Merge master into devel run: | - git checkout origin/devel + git checkout -B devel origin/devel git merge origin/master --no-edit git push origin devel deploy-docs: