push: mention --verbose option in documentation