From: Dave Borowitz <dborowitz@google.com>
Date: Fri, 14 Aug 2015 20:31:50 GMT
Subject: Re: [PATCH 0/7] Flags and config to sign pushes by default
Message-ID: <CAD0k6qSjZW-5eMw-OOHP0cGdj08PesdKVgE9OAFvESwCueyH6w@mail.gmail.com>
In-Reply-To: <xmqqbne9ivry.fsf@gitster.dls.corp.google.com>

On Fri, Aug 14, 2015 at 2:12 PM, Junio C Hamano <gitster@pobox.com> wrote:
>> The "if-possible" name and weird tri-state boolean is basically a straw man,
>> and I am happy to change if someone has a clearer suggestion.
>
> Yes, it looks somewhat strange.  Let me go on a slight tangent to
> explain why I think it is OK for "push --signed".

I think we agree that there are three possible behaviors for push and
we should allow the user to specify any of the three. The straw-man
strangeness is that two of them are the traditional boolean values
"true/false" and the third is "file not found^W^W^Wif-possible" :)