From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 24 Sep 2018 20:05:23 GMT
Subject: Re: [PATCH] Add an EditorConfig file
Message-ID: <xmqqefdislto.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20180921225039.GC432229@genre.crustytoothpaste.net>

"brian m. carlson" <sandals@crustytoothpaste.net> writes:

>> But that is a response in a dream-world.  If there is no such tool,
>> I am perfectly OK if the plan is to manually keep them (loosely) in
>> sync.  I do not think it is good use of our time to try to come up
>> with such a tool (unless somebody is really interested in doing it,
>> that is).
>
> Would it be helpful if I sent a script that ran during CI to ensure they
> stayed in sync for the couple places where they overlap?  I'm happy to
> do so if you think it would be useful.

It may even be an overkill.

A comment addressed to those who edit one file to look at the other
file on both files would be sufficient, I suspect.