> 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?