Hi Christian, On Fri, 19 Aug 2022, Christian Couder wrote: > On Fri, Aug 19, 2022 at 6:33 AM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > > > Junio C Hamano <gitster@xxxxxxxxx> writes: > > > > > but see a room for unrelated improvement from the current code, > > > namely, to allow exactly one optional space, immediately before the > > > separator and nowhere else. > > > > Ah, no, sorry, I misread the situation. It's not a room for > > improvement. It is very close to what the current code already does, > > i.e. to allow optional spaces immediately before the separator. The > > difference is that the current code allows arbitrary number of > > optional spaces, not zero or exactly one. > > Yeah, I think it makes sense to not change this default behavior, but > maybe, if people don't like it for some reason, allow options to tweak > it. That sounds like a very good compromise to me. Ciao, Dscho
