rename theme in .gitmodules