maint.sh : less frequent git pushes.