Properly update the superrepo's .gitmodules file

No match.