OK this is kind of an edge case, but if you have a submodule and someone upstream changes it's name, what should you do?
- First you probably want to change the location of the module, so you can now just do a
git mv old_name new_nameand it will be correct in your directory.
- Then inside the submodule, you need to change the origin with
git remote remove originand then add the new location
git remote add origin new_nameand then the git push should work.
- It does look like the
.gitmodulesdoesn't update correctly , the submodule name is wrong as is the url, although the path is right.
- Also the link in
.git/configalso appears wrong.
This seemed like the two work items. The git submodule init seems to work but it is not clear if is all working.
Overall, it is probably easier just to delete the submodule and start over.