From: Jeff King <peff@peff.net>
Date: Tue, 03 Jul 2012 19:35:52 GMT
Subject: Re: [PATCH] push: don't guess at qualifying remote refs on deletion
Message-ID: <20120703193552.GB20503@sigill.intra.peff.net>
In-Reply-To: <CAKON4OwJAdAMG2_LD6Eh8d=zx+5Hwn_aqRKW-MF5e8k=esCUkA@mail.gmail.com>

On Tue, Jul 03, 2012 at 02:43:01PM -0400, jonsmirl@gmail.com wrote:

> > It's already in git-push(1):
> >
> >   OPTIONS
> >      ...
> >      <refspec>
> >        ...
> >        Pushing an empty <src> allows you to delete the <dst> ref from
> 
> I was searching for "git delete remote branch". Can out add the word
> 'branch' in so that Google will find it?

I didn't quite parse what you were saying here.

-Peff