Splitting update step into 3 steps.

.github/calculate_db.py

@@ -520,7 +520,7 @@ def create_db(folder, options, tags):
                 run_succesfully('git push origin zips_backup || true')
                 run_succesfully('git push origin --delete zips || true')
                 run_succesfully('git push origin new_zips:zips')
-                run_succesfully('git push origin --delete zips_backup')
+                run_succesfully('git push origin --delete zips_backup || true')
             else:
                 print('Using old zip branch from origin')
                 zip_sha = run_stdout('git rev-parse --verify origin/zip').strip()

.github/commit_distribution.sh

@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+# Copyright (c) 2022 José Manuel Barroso Galindo <theypsilon@gmail.com>
+
+set -euo pipefail
+
+git config --global user.email "theypsilon@gmail.com"
+git config --global user.name "The CI/CD Bot"
+git checkout -f develop -b main
+echo "Running detox"
+detox -v -s utf_8-only -r *
+echo "Detox done"
+echo "Removing colons"
+IFS=$'\n'
+for i in $(find . -name "*:*"); do
+    echo mv "${i}" "${i/:/-}"
+    mv "${i}" "${i/:/-}"
+done
+echo "Colons removed"
+git add .
+git commit -m "-"
+git fetch origin main || true

.github/workflows/update_distribution.yml

@@ -30,7 +30,13 @@ jobs:
         cd .github/tests
         ./test_calculate_db.py
 
-    - name: Update Distribution
+    - name: Download Distribution
+      run: ./.github/update_distribution.sh .
+
+    - name: Commit Distribution
+      run: ./.github/commit_distribution.sh
+
+    - name: Calculate and Push Database
       run: |
         set -euo pipefail
         git config --global user.email "theypsilon@gmail.com"
@@ -43,9 +49,7 @@ jobs:
         export ZIPS_CONFIG=./.github/zips_config.json
         export LINUX_GITHUB_REPOSITORY=MiSTer-devel/SD-Installer-Win64_MiSTer
 
-
-        ./.github/update_distribution.sh . --push
+        ./.github/calculate_db.py
 
       env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}