Michał Janiszewski <janisoz...@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.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html