Re: [PATCH] push: don't guess at qualifying remote refs on deletion

From: jonsmirl@gmail.com <jonsmirl@gmail.com>
Date: Jul 3, 2012, 18:43 UTC
Message-ID: <CAKON4OwJAdAMG2_LD6Eh8d=zx+5Hwn_aqRKW-MF5e8k=esCUkA@mail.gmail.com>
In-Reply-To: <20120703184018.GB5765@sigill.intra.peff.net>

On Tue, Jul 3, 2012 at 2:40 PM, Jeff King <peff@peff.net> wrote:

Show 23 quoted lines

> On Tue, Jul 03, 2012 at 02:34:59PM -0400, jonsmirl@gmail.com wrote:
>
>> > and now:
>> >
>> >   $ git push origin :bogus
>> >   error: unable to delete 'bogus': remote ref does not exist
>> >   error: failed to push some refs to '$URL'
>>
>> This error return would have made my mistake obvious.
>
> Thanks for confirming.
>
>> Might want to add a paragraph to the doc saying this is how you delete
>> remote branches since it is not an obvious solution. I found it via
>> Google and a question asked on stackoverflow.com
>
> 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?

Show 6 quoted lines

>        the remote repository.
>
> but if you have rewording suggestions, or a suggestion as to where else
> to mention it, please do.
>
> -Peff

-- 
Jon Smirl
jonsmirl@gmail.com