Re: [RFC 01/10] submodule: add 'core.submodulesFile' to override the '.gitmodules' path

Hi Antonio, >> >> Good point! I wonder if the cleaner solution would be to just >> tell git to use HEAD:.gitmodules and not check out the file? >> then you would not need to come up with a namespace for names >> of the .gitmodules files and scatter them into the worktree as well? >> > > Any

Re: [RFC 01/10] submodule: add 'core.submodulesFile' to override the '.gitmodules' path

On Mon, 16 Apr 2018 14:22:35 -0700 Stefan Beller wrote: > On Mon, Apr 16, 2018 at 9:37 AM, Antonio Ospite wrote: > > On Thu, 12 Apr 2018 16:50:03 -0700 > > Stefan Beller wrote: > > > >> Hi Antonio, > >> > >> On Thu, Apr 12, 2018 at 3:20 PM,

Re: [RFC 01/10] submodule: add 'core.submodulesFile' to override the '.gitmodules' path

On Mon, Apr 16, 2018 at 9:37 AM, Antonio Ospite wrote: > On Thu, 12 Apr 2018 16:50:03 -0700 > Stefan Beller wrote: > >> Hi Antonio, >> >> On Thu, Apr 12, 2018 at 3:20 PM, Antonio Ospite wrote: >> > When multiple repositories with detached work-trees

Re: [RFC 01/10] submodule: add 'core.submodulesFile' to override the '.gitmodules' path

On Thu, 12 Apr 2018 16:50:03 -0700 Stefan Beller wrote: > Hi Antonio, > > On Thu, Apr 12, 2018 at 3:20 PM, Antonio Ospite wrote: > > When multiple repositories with detached work-trees take turns using the > > same directory as their work-tree, and more than

Re: [RFC 01/10] submodule: add 'core.submodulesFile' to override the '.gitmodules' path

Hi Antonio, On Thu, Apr 12, 2018 at 3:20 PM, Antonio Ospite wrote: > When multiple repositories with detached work-trees take turns using the > same directory as their work-tree, and more than one of them want to use > submodules, there will be conflicts about the '.gitmodules'

[RFC 01/10] submodule: add 'core.submodulesFile' to override the '.gitmodules' path

When multiple repositories with detached work-trees take turns using the same directory as their work-tree, and more than one of them want to use submodules, there will be conflicts about the '.gitmodules' file. git hardcodes this path so it's not possible to override its location on a