Make is_destructive check more rigorous for pre-push hook