maint.sh : more verbose decision on pushing.