Re: [PATCH] push: don't guess at qualifying remote refs on deletion
- From
Jeff King <peff@peff.net>
- Date
- Jul 3, 2012, 19:35 UTC
- 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:
Show 10 quoted lines
> > 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