From: Nguyen Thai Ngoc Duy Date: Tue, 21 Feb 2012 15:30:31 GMT Subject: Re: [RFC/PATCH 0/3] push: add 'prune' option Message-ID: In-Reply-To: <1329505957-24595-1-git-send-email-felipe.contreras@gmail.com> On Sat, Feb 18, 2012 at 2:12 AM, Felipe Contreras wrote: > 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. -- Duy