gc.sh: suppress git prune progress messages without show_progress