On Tue, Jul 3, 2012 at 2:40 PM, Jeff King <peff@xxxxxxxx> wrote: > 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 I was searching for "git delete remote branch". Can out add the word 'branch' in so that Google will find it? > 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@xxxxxxxxx -- 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