[Revert] Make 'push --undo' safer