[gitmodules][xs]: switch to https from git:// as github requires that for gh-pages now.
Merge branch 'master' into gh-pages