Provision against push -f