Re: A bug or unhandled case
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Mar 11, 2013, 16:53 UTC
- 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.