Andrew's git / gitweb.git / diff
?
Merge branch 'jc/receive-pack-auto' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 16 Nov 2009 00:37:49 +0000 (16:37 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 16 Nov 2009 00:37:49 +0000 (16:37 -0800)
* jc/receive-pack-auto:
receive-pack: run "gc --auto --quiet" and optionally "update-server-info"
gc --auto --quiet: make the notice a bit less verboase

Trivial merge