Update sync-main-to-dev.yaml

Author: ralfhandl

.github/workflows/sync-main-to-dev.yaml

@@ -37,10 +37,8 @@ jobs:
 
           git fetch origin -v
           git checkout -b $SYNC origin/$SYNC || git checkout -b $SYNC origin/$BASE
-          git status
-          git pull --allow-unrelated-histories
 
-          git merge origin/$HEAD
+          git merge origin/$HEAD -m "Merge $HEAD into $SYNC"
           git checkout origin/dev src/*
           git checkout origin/dev tests/*
           git commit -m "Restored src/* and tests/*"