Make firewall-friendly

Use 'https' instead of 'git'.