diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-02-02 19:50:08 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-02-02 19:50:08 +0200 |
| commit | 6cc8dc1fcfe0e4662c0eb5734c65d9e07a957892 (patch) | |
| tree | bc4bff719a0339c70870fdc5fb07be590e9e4520 /server | |
| parent | a5d45ba37e89989cd69921cf01d2327dfd5c1e35 (diff) | |
Add --prune to git fetch in mrrepo to keep branches in sync
Diffstat (limited to 'server')
| -rwxr-xr-x | server/mrrepo | 2 |
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 |