Check in `.gitmodules`.