Hi all,
I am trying to make url.<base>.insteadOf work on the URLs inside .gitmodules, but it won't work (applying it to the repo itself works fine, to the config setting seems to be fine).
I do not want to modify .gitmodules: It is maintained upstream.
I cannot simply reconfigure submodule.<module>.url: the Configure script (regularly called during each compile) does
git submodule sync
git submodule update --init
I could tell upstream to change these commands if I can make a good argument; for them, it is relevant that they can change the submodule URL inside .gitmodule and have it "just work" for everybody downstream.
My own use case is that I want to be able to work with various experimental local clones even if I do not have Internet access.
I'm all ears if there's a way to do this without using insteadOf.
Here are the relevant two lines from the output of "git config -l" (after "git submodule init"):
url./home/jo/Projekte/perl6/bare-repos.insteadof=https://github.com
submodule.3rdparty/dynasm.url=https://github.com/MoarVM/dynasm.git
Here is what "git submodule update" does:
Cloning into '3rdparty/dyncall'...
fatal: unable to access 'https://github.com/MoarVM/dyncall.git/': Could not resolve host: github.com
fatal: clone of 'https://github.com/MoarVM/dyncall.git' into submodule path '3rdparty/dyncall' failed
Any help appreciated!
Regards,
Jo