Re: [PATCH v1 3/3] difftool: add space after full stop in comments

On Sat, Oct 2, 2021 at 1:12 PM Carlo Arenas [off-list ref] wrote:

On Sat, Oct 2, 2021 at 12:38 PM Elijah Newren [off-list ref] wrote:

quoted

On Sat, Oct 2, 2021 at 11:49 AM Andrei Rybak [off-list ref] wrote:

quoted

These punctuation typos were found using:

    git grep -P ' [a-z0-9A-Z-]+[.][A-Z][A-Za-z-]+ '

While Junio has commented that two spaces after the full stop in
fixed-width source code viewing looks better, and I personally prefer
that style as well, I don't think these are worth "fixing".

FWIW those are not adding a second space, but adding ANY space between
a "." and beginning of the next sentence.

Oh!  I didn't look closely enough (I'll blame gmail's variable-width
font).  Thanks for correcting me.  Yes, if there's no space at all
between the full stop and the next character, then that makes it more
annoying.  So, ignore what I said earlier, I think this patch is good.