From 8599590492c79b061f5e9ce894222f754f7d4cec Mon Sep 17 00:00:00 2001
From: Amir MOHAMMADI <amir.mohammadi@idiap.ch>
Date: Fri, 1 Oct 2021 17:28:49 +0200
Subject: [PATCH] use https for github.com
---
bob/devtools/bootstrap.py | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/bob/devtools/bootstrap.py b/bob/devtools/bootstrap.py
index e05ab1f5..21c68230 100644
--- a/bob/devtools/bootstrap.py
+++ b/bob/devtools/bootstrap.py
@@ -246,12 +246,10 @@ def ensure_miniconda_sh():
# re-downloads installer
import http.client
- server = (
- "https://github.com/conda-forge/miniforge/releases/download",
- ) # http
+ server = ("github.com/conda-forge/miniforge/releases/download",) # https
- logger.info("Connecting to http://%s...", *server)
- conn = http.client.HTTPConnection(server[0])
+ logger.info("Connecting to https://%s...", *server)
+ conn = http.client.HTTPSConnection(server[0])
conn.request("GET", path)
r1 = conn.getresponse()
--
GitLab