INFRA-1317: Trying https for repo urls

are all the repos meant to have the same id now?