remove unnecessary section on .gitmodules