From 50e4d53130464f4d9dcec6fb7dd1f3a0249a8cd4 Mon Sep 17 00:00:00 2001 From: Pete 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:]]/_}