GitHub redirects to HTTPS anyway :/