Our firewall does nott allow us to use the git protocol. Therefore we have to use https.