Re: [RFC/PATCH 0/3] push: add 'prune' option

On Tue, Feb 21, 2012 at 10:30:31PM +0700, Nguyen Thai Ngoc Duy wrote:

On Sat, Feb 18, 2012 at 2:12 AM, Felipe Contreras
[off-list ref] wrote:

quoted

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.

Yeah, may I have "fetch --prune" too, please? Looking at diffstat
gives me a feeling that you only need to add maybe four lines to
builtin/fetch.c and my dream would come true.

Huh? Don't we already have "fetch --prune"?

-Peff