a comment says: "I'd be a bit wary about calling this "undo" since it does a reset --hard which potentially erases uncommitted changes with no way of getting them back"