aboutsummaryrefslogtreecommitdiff
path: root/server/mrrepo
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-02-02 19:50:08 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-02-02 19:50:08 +0200
commit6cc8dc1fcfe0e4662c0eb5734c65d9e07a957892 (patch)
treebc4bff719a0339c70870fdc5fb07be590e9e4520 /server/mrrepo
parenta5d45ba37e89989cd69921cf01d2327dfd5c1e35 (diff)
Add --prune to git fetch in mrrepo to keep branches in sync
Diffstat (limited to 'server/mrrepo')
-rwxr-xr-xserver/mrrepo2
1 files changed, 1 insertions, 1 deletions
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