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

Reply via email to