Merge pull request #10 from Pablo2048/development

Update GA with access token

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

@@ -12,6 +12,9 @@ jobs:
     steps:
     - name: Checkout repository
       uses: actions/checkout@v2
+      with:
+        # Tento token zajišťuje oprávnění k zápisu
+        token: ${{ secrets.GITHUB_TOKEN }}
 
     - name: Set executable permissions
       run: chmod +x ./update_dev.sh

update_dev.sh

@@ -17,8 +17,8 @@ fi
 # Stáhni nejnovější změny z development větve
 git pull origin development
 
-# Proveď merge z main do development
-git merge main
+# Proveď merge z main do development s povolením nesouvisejících historií
+git merge main --allow-unrelated-histories
 
 # Pushni změny do vzdálené development větve
 git push origin development