From 3a477c239484d9d81604938996395da5e6d0c911 Mon Sep 17 00:00:00 2001
From: Pete <petefoth@e.email>
Date: Mon, 4 Dec 2023 12:16:19 +0000
Subject: [PATCH] Make sync mirror switchable

---
 src/build.sh | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/build.sh b/src/build.sh
index d22367e..2af616e 100755
--- a/src/build.sh
+++ b/src/build.sh
@@ -101,9 +101,12 @@ fi
       "https://gitlab.com/the-muppets/manifest/raw/mirror/default.xml" .repo/local_manifests/proprietary_gitlab.xml
   fi
 
-  echo ">> [$(date)] Syncing mirror repository" | tee -a "$repo_log"
-  repo sync "${jobs_arg[@]}" "${retry_fetches_arg[@]}" --force-sync --no-clone-bundle &>> "$repo_log"
-fi
+  if [ "$SYNC_MIRROR" = true ]; then
+    echo ">> [$(date)] Syncing mirror repository" | tee -a "$repo_log"
+    repo sync "${jobs_arg[@]}" --force-sync --no-clone-bundle &>> "$repo_log"
+  else
+    echo ">> [$(date)] Sync mirror repository disabled" | tee -a "$repo_log"
+  fi
 
 for branch in ${BRANCH_NAME//,/ }; do
   branch_dir=${branch//[^[:alnum:]]/_}