From 1e2e82fbdeb06fb97bc79c8a1f7152613c21ba43 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Wed, 19 Oct 2022 08:52:06 +0200
Subject: [PATCH] makebuildserver: use HTTPS in default debian apt source

---
 makebuildserver | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makebuildserver b/makebuildserver
index bf165730..fe2cc9b1 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -76,7 +76,7 @@ BASEBOX_CHECKSUMS = {
 
 config = {
     'basebox': BASEBOX_DEFAULT,
-    'debian_mirror': 'http://deb.debian.org/debian/',
+    'debian_mirror': 'https://deb.debian.org/debian/',
     'apt_package_cache': False,
     'copy_caches_from_host': False,
     'boot_timeout': 600,