website: point .gitmodules to main GitHub repository