From 40f5e4e11932669aeb0838612fea9bebd5c5182c Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Tue, 24 Aug 2021 11:49:10 +0000
Subject: [PATCH] Merge branch 'master' of github.com:Chizi123/Scripts
---
git-mirror-update.sh | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/git-mirror-update.sh b/git-mirror-update.sh
old mode 100644
new mode 100755
index 20765d3..3ba4b7e
--- a/git-mirror-update.sh
+++ b/git-mirror-update.sh
@@ -3,7 +3,7 @@
GIT_DIRECTORY=/Eduardo/git
for d in $GIT_DIRECTORY/*; do
- if ! grep -q "mirror = true" $d/config; then
- git -C $d remote update
+ if grep -q "mirror = true" $d/config; then
+ git -C "$d" remote update --prune
fi
done
--
Gitblit v1.9.3