Update sync-dev-to-vX.Y-dev.yaml

Author: ralfhandl

.github/workflows/sync-dev-to-vX.Y-dev.yaml

@@ -47,6 +47,7 @@ jobs:
               --label "Housekeeping" \
               --title "$BASE: update from $HEAD" \
               --body "Merge \`$HEAD\` into \`$BASE\`.")
+            echo "PR to sync $DEV_BRANCH: $PR"
             
             gh pr checks $PR --fail-fast --watch
             gh pr merge $PR --merge --admin