Delete redundant .gitmodules.