From: Jeff King <peff@peff.net>
Date: Tue, 03 Jul 2012 18:40:19 GMT
Subject: Re: [PATCH] push: don't guess at qualifying remote refs on deletion
Message-ID: <20120703184018.GB5765@sigill.intra.peff.net>
In-Reply-To: <CAKON4Oy0YBVTAhZPU=1B=yYY4t2O_uRWDW1zOMaC5iCb=kRQ2w@mail.gmail.com>

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
       the remote repository.

but if you have rewording suggestions, or a suggestion as to where else
to mention it, please do.

-Peff