Use https urls to git repositories.