Use https for git clones in manifests