Change git clone commands to use HTTPS instead of HTTP.