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@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html