From: Nguyen Thai Ngoc Duy Date: Wed, 22 Feb 2012 01:45:33 GMT Subject: Re: [RFC/PATCH 0/3] push: add 'prune' option Message-ID: In-Reply-To: <20120221173548.GB32376@sigill.intra.peff.net> On Wed, Feb 22, 2012 at 12:35 AM, Jeff King 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