On Tue, Jul 03, 2012 at 02:34:59PM -0400, jonsmirl@xxxxxxxxx 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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html