Re: [PATCH 2/2] repository: allow repository format upgrade with extensions
- From
Jeff King <peff@peff.net>
- Date
- Jul 16, 2020, 16:53 UTC
- 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