Properly update the superrepo's .gitmodules file