On Fri, Aug 14, 2015 at 2:12 PM, Junio C Hamano <gitster@xxxxxxxxx> 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" :) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html