> I don't think it's a major problem, but it does violate the Principle of least astonishment, The principle of least astonishment should tell you that in 2018

> I don't think it's a major problem, but it does violate the Principle of least astonishment, The principle of least astonishment should tell you that in 2018 HTTPS is becoming the default and hosting web pages with automated HTTPS should be expected. What you should be astonished about is that it took Github so long to support HTTPS everywhere.