Michał Janiszewski <janisozaur@xxxxxxxxx> 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html