Update github link to use HTTPS.