From b8cf8c6081bb531fdaa21d073d55467187afe30c Mon Sep 17 00:00:00 2001
From: Tim Schumacher <timschumi@gmx.de>
Date: Wed, 12 Jul 2023 00:58:29 +0200
Subject: [PATCH] Ports: Remove the "no HTTPS" workaround

curl on SerenityOS now has HTTPS support, since we use the upstream
ca-certificates package.
---
 Ports/.port_include.sh | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh
index f0692f911fd..e706dc5eb35 100755
--- a/Ports/.port_include.sh
+++ b/Ports/.port_include.sh
@@ -303,11 +303,6 @@ do_download_file() {
 
     echo "Downloading URL: ${url}"
 
-    # FIXME: Serenity's curl port does not support https, even with openssl installed.
-    if which curl >/dev/null 2>&1 && ! curl https://example.com -so /dev/null; then
-        url=$(echo "$url" | sed "s/^https:\/\//http:\/\//")
-    fi
-
     if which curl; then
         run_nocd curl ${curlopts:-} "$url" -L -o "$filename"
     else