Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 12 Jan 2009 07:29:26 +0000 (23:29 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 12 Jan 2009 07:29:26 +0000 (23:29 -0800)
* maint:
  Documentation/git-push.txt: minor: compress one option


Trivial merge