Use HTTPS on Typelevel web pages

[ochrons]

Currently all typelevel.org pages are HTTP only, due to Github limitation. This can be worked around using a CDN like CloudFlare in front of Github.

Instructions: https://www.goyllo.com/github/pages/free-cloudflare-ssl-for-custom-domain/

Even if typelevel.org was hosted on a private server, it would make sense to use a CDN to speed up access from remote locations (like China, Australia, Japan, India).

[larsrh]

I have investigated this now. In general I think it's a good idea to have HTTPS. But sadly CloudFlare requires me to transfer all control of DNS to them, which I'm reluctant to do. Another possibility would be to host it not on GitHub, but on a private server.

[larsrh]

This is what Google sent me today:

I've come to the conclusion that it's necessary to migrate to HTTPS. The self-hosting approach won't work because there are many projects that use e.g. http://typelevel.org/cats and are managed in different ways and repositories.

Hence, I'm proposing to use typelevel.github.io as the domain for GitHub Pages (this supports TLS) and proxy it through CloudFlare. Any opinions?

[larsrh]

There is an alternative service (Netlify) that doesn't require me to yield control of the DNS for the whole domain. I'll be deploying this now.

[larsrh]

As soon as DNS propagation is finished, https://typelevel.org should be available.