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
