Remove redundant git fetch in workflow

Author: ralfhandl

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

@@ -38,9 +38,7 @@ jobs:
           git config user.email "[email protected]"
           SYNC="$BASE-sync-with-$HEAD"
 
-          git fetch origin -v
           git checkout -b $SYNC origin/$SYNC || git checkout -b $SYNC origin/$BASE
-
           git merge origin/$HEAD -m "Merge $HEAD into $SYNC" --allow-unrelated-histories
           git checkout origin/dev src/*
           git checkout origin/dev tests/*