From: Dave Borowitz <dborowitz@google.com>
Date: Wed, 01 Jul 2015 19:06:24 GMT
Subject: Re: [PATCH 6/7] pack-protocol.txt: Mark pushee field as optional
Message-ID: <CAD0k6qQgL_nn2R2Lye3b4xqp-P7gwcMG6PGLvqQEdRAfV_64uA@mail.gmail.com>
In-Reply-To: <xmqqbnfvaeqk.fsf@gitster.dls.corp.google.com>

On Wed, Jul 1, 2015 at 11:56 AM, Junio C Hamano <gitster@pobox.com> wrote:
> Do some clients omit this in the real world?

I just sent you privately a trace where this happens using a recent
git client. With that in the wild, I think our server is going to have
to handle these even if there is a bug and it is fixed promptly.