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

On Wed, Jul 1, 2015 at 12:07 PM, Junio C Hamano <gitster@pobox.com> wrote:
> Answering myself, the most trivial example is "git send-pack" ;-)
> It passes args that has a NULL in the .url field.

Well, the example I have involves an actual "git push" command. The
fact that .url is NULL in that case may be a separate bug.