Prefer https in GitHub pages urls#454

spastorino merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

tesuji:prefer-https-ghpages-urlstesuji/rustc-guide:prefer-https-ghpages-urlsCopy head branch name to clipboard