Make 'push --undo' safer

No match.