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