From: Jeff King <peff@peff.net>
Date: Thu, 16 Jul 2020 16:53:41 GMT
Subject: Re: [PATCH 2/2] repository: allow repository format upgrade with extensions
Message-ID: <20200716165341.GA1072075@coredump.intra.peff.net>
In-Reply-To: <xmqq5zanifoc.fsf@gitster.c.googlers.com>

On Thu, Jul 16, 2020 at 09:32:35AM -0700, Junio C Hamano wrote:

> We need to declare that any names under "extensions.*" is off limits
> by end users regardless and write it in big flasing red letters if
> we haven't already done so.

I thought this was already well-understood, and it was definitely part
of the plan since 2015. Are other tools really sticking stuff in
extensions.* that we don't know about?

-Peff