From b583d82e5d2d9274e1b12aea0bf7551f3a839240 Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Thu, 27 Mar 2025 22:07:10 +0000 Subject: [PATCH] Skip errors when fetching and pulling changes --- bin/update-all-git-repos | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/update-all-git-repos b/bin/update-all-git-repos index f3fa29e6..b3c4bcd5 100755 --- a/bin/update-all-git-repos +++ b/bin/update-all-git-repos @@ -20,6 +20,6 @@ for dir in $dirs; do echo "Updating $(pwd)" # Update the repository. - git fetch --all --jobs=4 --progress --prune - git pull --rebase + git fetch --all --jobs=4 --progress --prune || true + git pull --rebase || true done