David git reset --hard <commit> "resets" the current branch head. Is this equivalent to deleting the branch and doing git branch <branch> <commit> ?? So "git reset --hard" is syntactic sugar and 'unnecessary' right? cs -- 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
