Converted all GitHub URLs to HTTPS.