Re: [PATCH 2/3] ieot: default to not writing IEOT section
- From
Jonathan Nieder <jrnieder@gmail.com>
- Date
- Nov 13, 2018, 01:12 UTC
- Message-ID
- <20181113011207.GE170017@google.com>
- In-Reply-To
- <xmqqpnv9zsu6.fsf@gitster-ct.c.googlers.com>
Junio C Hamano wrote:
Show 8 quoted lines
> 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