From: Jonathan Nieder Date: Tue, 13 Nov 2018 01:12:07 GMT Subject: Re: [PATCH 2/3] ieot: default to not writing IEOT section Message-ID: <20181113011207.GE170017@google.com> In-Reply-To: Junio C Hamano wrote: > How about > > hint: ignoring an optional IEOT extension > > to make it clear that it is totally harmless? > > With that, we can add advise.unknownIndexExtension=false to turn all > of them off with a single switch. I like it. Expect a patch soon (tonight or tomorrow) that does that. We'll have to find some appropriate place in the documentation to explain what the message is about, still. Thanks, Jonathan