Re: [RFC/PATCH 0/3] push: add 'prune' option
- From
Nguyen Thai Ngoc Duy <pclouds@gmail.com>
- Date
- Feb 22, 2012, 01:45 UTC
- Message-ID
- <CACsJy8C6K8UteZjH+mo88SeNWUf6yFyRRi_EQHa84ETNvv0iGA@mail.gmail.com>
- In-Reply-To
- <20120221173548.GB32376@sigill.intra.peff.net>
On Wed, Feb 22, 2012 at 12:35 AM, Jeff King <peff@peff.net> wrote:
> Huh? Don't we already have "fetch --prune"?
We do indeed. I went to git-fetch.txt, searched for prune but missed many "include" directives in there.
-- Duy