From 940d34ef8fbb71d304c95cd622aefa32d9e7da39 Mon Sep 17 00:00:00 2001 From: Andrew Williams Date: Wed, 7 Feb 2024 11:54:39 +0000 Subject: [PATCH] Mute the pulls --- tools/branch-deploy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/branch-deploy.sh b/tools/branch-deploy.sh index f8e187a..337fb80 100755 --- a/tools/branch-deploy.sh +++ b/tools/branch-deploy.sh @@ -11,7 +11,7 @@ INDEX_PAGE="${TARGET_FOLDER}/index.html" mkdir -p "${TARGET_FOLDER}" # Track all remote branches locally -git branch -r | grep -v '\->' | sed "s,\x1B\[[0-9;]*[a-zA-Z],,g" | while read remote; do git branch --track "${remote#origin/}" "$remote" 2>/dev/null; done +git branch -r | grep -v '\->' | sed "s,\x1B\[[0-9;]*[a-zA-Z],,g" | while read remote; do git branch --track "${remote#origin/}" "$remote" >/dev/null 2>&1; done # Pull the branches git pull --all > /dev/null