From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 11 Mar 2013 16:53:30 GMT
Subject: Re: A bug or unhandled case
Message-ID: <7vk3pdaned.fsf@alter.siamese.dyndns.org>
In-Reply-To: <CABB6UqHgcsx9oK2GHhmwpuhv+T3aMAJk_udw8enkGB3OutzbNg@mail.gmail.com>

Michał Janiszewski <janisozaur@gmail.com> writes:

> Hmm, indeed it works. Sorry for the confusion then (and a bit mistaken
> commands, but you got them correct).
> I wasn't aware of the -r option.

I think what tripped you was that "git branch" deals with branch
names, and not refnames (which is the underlying but lower level
concept).  "git branch -d refs/heads/master" is not a way to remove
your local mastar branch.