> The root cause is that .gitmodules entry for jimtcl was changed but
> not the submodule itself and that the required checkout was not
> available at the old repository.
Sorry, but I'm still confused.
After a clean checkout I see this in .gitmodules:
[submodule "jimtcl"]
path = jimtcl
url = https://github.com/msteveb/jimtcl.git
And if I execute git submodule init I get this:
git submodule init
Submodule 'jimtcl' (https://github.com/msteveb/jimtcl.git) registered for path
'jimtcl'
Submodule 'src/jtag/drivers/libjaylink'
(https://gitlab.zapb.de/libjaylink/libjaylink.git) registered for path
'src/jtag/drivers/libjaylink'
Submodule 'tools/git2cl' (https://git.savannah.nongnu.org/git/git2cl.git)
registered for path 'tools/git2cl'
So where is the reference to the outdated https://repo.or.cz/jimtcl.git repo
coming from?