tree 014fea652ee94be204801857c3fc773b6762354b
parent dc347195ccfbc87b6e445f5c31a5500e1df6c9b5
author Jeff King <peff@peff.net> 1320730448 -0500
committer Junio C Hamano <gitster@pobox.com> 1320732739 -0800

prune: handle --progress/no-progress

And have "git gc" pass no-progress when quiet.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>