Fix push --undo to remove the local changes