github supports https

[gernotstarke]

https://blog.github.com/2018-05-01-github-pages-custom-domains-https/

please consider upgrading to https.

I cannot offer a PR for that, as it's a configuration issue in the Github repository.