Hi Junio, On Mon, 15 Apr 2019, Junio C Hamano wrote: > Junio C Hamano <gitster@xxxxxxxxx> writes: > > > > Do you mean more like > > ... > > I think I can agree with either of the two positions... > > I am guessing from the earlier iteration that you wanted to say > "unless it is given explicitly, we turn it on". > > As this last-minute style update that was botched, and a typofix in > the proposed log message in 8/8, are the only differences, let me > locally fix 8/8 up and replace it. Sure. I still would like the `isset` thing, as it makes things more consistent, but I'll not fight for it. Ciao, Dscho