tweaking .gitmodules