Re: [PATCH 2/2] submodule: munge paths to submodule git directories
From: Brandon Williams <hidden>
Date: 2018-08-29 21:25:09
From: Brandon Williams <hidden>
Date: 2018-08-29 21:25:09
On 08/29, Stefan Beller wrote:
On Wed, Aug 29, 2018 at 2:09 PM Jonathan Nieder [off-list ref] wrote:quoted
Jeff King wrote:quoted
On Tue, Aug 28, 2018 at 02:35:25PM -0700, Stefan Beller wrote:quoted
quoted
Yeah, then let's just convert '/' with as little overhead as possible.Do you care about case-folding issues (e.g., submodules "FOO" and "foo" colliding)? I'm OK if the answer is "no", but if you do want to deal with it, the time is probably now.Have we rejected the config approach?I did not reject that approach, but am rather waiting for patches. ;-)
Note I did send out a patch using this approach, so no need to wait any longer! :D https://public-inbox.org/git/20180816181940.46114-1-bmwill@google.com/ -- Brandon Williams