Re: A bug or unhandled case

Michał Janiszewski [off-list ref] 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.