From dd19e3fe9fe1500a7ac18bf51eb3033099739e07 Mon Sep 17 00:00:00 2001
From: Ralf Handl <ralf.handl@gmail.com>
Date: Thu, 10 Jul 2025 23:15:53 +0200
Subject: [PATCH] auto-merge sync PRs from dev

---
 .github/workflows/sync-dev-to-vX.Y-dev.yaml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/sync-dev-to-vX.Y-dev.yaml b/.github/workflows/sync-dev-to-vX.Y-dev.yaml
index 1ac07e2d13..4d873da3fc 100644
--- a/.github/workflows/sync-dev-to-vX.Y-dev.yaml
+++ b/.github/workflows/sync-dev-to-vX.Y-dev.yaml
@@ -42,10 +42,11 @@ jobs:
               continue
             fi
 
-            gh pr create --base $BASE --head $HEAD \
+            PR=$(gh pr create --base $BASE --head $HEAD \
               --label "Housekeeping" \
               --title "$BASE: update from $HEAD" \
-              --body "Merge \`$HEAD\` into \`$BASE\`."
+              --body "Merge \`$HEAD\` into \`$BASE\`.")
+            gh pr merge $PR --merge --admin
           done
         env:
           GH_TOKEN: ${{ steps.generate-token.outputs.token }}