Use HTTPS URIs for git repos