From 0f338484d3ba4613decc869a8a20fdb6d7120397 Mon Sep 17 00:00:00 2001
From: J0WI <J0WI@users.noreply.github.com>
Date: Tue, 6 Aug 2019 02:02:47 +0200
Subject: [PATCH] Use https in update.sh

---
 update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update.sh b/update.sh
index 5b725e647..db67d2158 100755
--- a/update.sh
+++ b/update.sh
@@ -19,7 +19,7 @@ for version in "${versions[@]}"; do
 	debianSuite="${debianVariant%%-*}" # "stretch", etc
 
 	fullVersion="$(
-		curl -fsSL "http://repo.mysql.com/apt/debian/dists/$debianSuite/mysql-$version/binary-amd64/Packages.gz" \
+		curl -fsSL "https://repo.mysql.com/apt/debian/dists/$debianSuite/mysql-$version/binary-amd64/Packages.gz" \
 			| gunzip \
 			| awk -F ': ' '
 				$1 == "Package" {