Re: [PATCH 1/4] push options: {pre,post}-receive hook learns about push options
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 1, 2016, 19:25 UTC
- 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.