In the latter case, it's still unclear to me what's wrong with `revert` rather than `reset --hard`, as it would still fix the tip of the tree.
Sam
In the latter case, it's still unclear to me what's wrong with `revert` rather than `reset --hard`, as it would still fix the tip of the tree.
Sam