Øyvind Harboe wrote: > > My workaround is to manually edit .git/config before the update. > > I replaced this section > > > >> [submodule "tools/git2cl"] > >> url = git://repo.or.cz/git2cl.git > > > > by > > > >> [submodule "tools/git2cl"] > >> url = http://repo.or.cz/r/git2cl.git > > This is not a workaround, it's a solution! :-) > > The only question is whether we should commit the change.
If repo.or.cz is running a recent git then http:// is not much more inefficient than git:// but on the other hand works through proxies, so while the submodules are still there I think it makes sense to commit. //Peter _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
