We are using a super repository for our development where all our code resides inside submodules. I'm maintaining this tree, so it's quite common that I change a submodule to point to a different URL according to our needs (ie, another developer is now in charge of one module). So, basically I delete the old submodule "rm -rf module && git rm module", tune .gitmodules and add it again from a different location "git submodule add ssh://server/newpath module". The problem comes when another developer pulls the super repository from me and he already has the old module URL initialized/updated. What is a safe/obvious update path for him? "git submodule update" does not work and running init/update doesn't help neither. Is there any way for me to ease these tasks for the rest of developers? I know one option is to keep the URLs untouched and then merge trees as needed, but this seems to be a bigger workload for everyone. BR, Gerard PS: Please CC me, as I'm not registered to the list. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
