Fix github pages generation error caused by non-https URLs in .gitmodules.