From: Felipe Contreras Date: Fri, 17 Feb 2012 19:12:34 GMT Subject: [RFC/PATCH 0/3] push: add 'prune' option Message-ID: <1329505957-24595-1-git-send-email-felipe.contreras@gmail.com> Hi, As mentioned in a previous thread[1], git is lacking some functionality to synchronize completely with remote repositories. As an example I put my use-case; I want to backup *all* my local branches to a personal repository, and I want to remove branches that I have removed from my local repository. git push personal 'refs/heads/*' mostly does the job, but it doesn't remove anything, and that's where 'prune' comes from. Do not confuse the remote branches with the upstream ones; you could have two repositories where you want to synchronize branches to: % git push --prune --force backup1 'refs/heads/*' % git push --prune --force backup2 'refs/heads/*' I still think a 'git remote sync' would be tremendously useful, but it can actually use this --prune option. I know, documentation and testing are missing, but perhaps there will be comments on the code itself. Cheers. [1] http://article.gmane.org/gmane.comp.version-control.git/184990 Felipe Contreras (3): remote: use a local variable in match_push_refs() remote: reorganize check_pattern_match() push: add 'prune' option builtin/push.c | 2 + remote.c | 91 +++++++++++++++++++++++++++++++++++-------------------- remote.h | 3 +- transport.c | 2 + transport.h | 1 + 5 files changed, 65 insertions(+), 34 deletions(-) -- 1.7.9.1