[kijin]

The web app is also available on port 443, which every "corporate github user" should have been using anyway.

[wfarr]

In fact, all HTTP access redirects to HTTPS for just about everything. And most modern browsers (recent versions of Chrome and Safari) that have accessed a website over HTTPS once happen to _prefer_ HTTPS by default for that site.