Fix messed up .gitmodules config