From 910a5c2db1bf76cc4b2967c5a5ca4b703d65e7fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <karel.koci@nic.cz>
Date: Mon, 27 Aug 2018 14:17:05 +0200
Subject: utils: prune git refs on remote update

---
 scripts/utils | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/utils b/scripts/utils
index c28a2ea..28add96 100644
--- a/scripts/utils
+++ b/scripts/utils
@@ -10,7 +10,7 @@ echo_stage() {
 # Second argument is name of directory to which will be repository cloned to.
 git_fetch_bare() {
 	if [ -d "$WORKSPACE/$2" ]; then
-		git --git-dir="$WORKSPACE/$2" --bare remote update
+		git --git-dir="$WORKSPACE/$2" --bare remote update --prune
 	else
 		git clone --mirror "$1" "$WORKSPACE/$2"
 	fi
-- 
cgit v1.2.3