small utility to explain a force push before pushing, to help prevent accidents with git fetch and --force-with-lease