update github link from HTTP to HTTPS