Re: [PATCH 6/7] pack-protocol.txt: Mark pushee field as optional
- From
Dave Borowitz <dborowitz@google.com>
- Date
- Jul 1, 2015, 19:06 UTC
- 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.