From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 01 Jul 2016 19:25:39 GMT
Subject: Re: [PATCH 1/4] push options: {pre,post}-receive hook learns about push options
Message-ID: <xmqqr3bdxirw.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20160701181102.GA16695@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Compare to:
>
>   if test "$GIT_PUSH_VAR_force" = true
>      ...

OK.  As this is a new feature, I guess it is not too bad if we tell
users that they cannot have duplicate keys in their <key,val> data
they ask Git to transport.  They can do the key1=val1 key2=val2
numbering themselves if that is really needed.