From 6cc8dc1fcfe0e4662c0eb5734c65d9e07a957892 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Tue, 2 Feb 2016 19:50:08 +0200
Subject: Add --prune to git fetch in mrrepo to keep branches in sync

---
 server/mrrepo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'server')

diff --git a/server/mrrepo b/server/mrrepo
index 1210725..fcd2272 100755
--- a/server/mrrepo
+++ b/server/mrrepo
@@ -124,7 +124,7 @@ for r in ${new[@]}; do
       info "existing repository $r, fetching"
       info "git -C $r fetch $git_ops --tags"
     fi
-    git -C $r fetch $git_ops --tags
+    git -C $r fetch $git_ops --prune --tags
   fi
 done
 
-- 
cgit v1.1