From 1bb99ed3e49454d2f29e2b7260f4ff29b2d78478 Mon Sep 17 00:00:00 2001
From: Andy C <andy@oilshell.org>
Date: Mon, 26 Aug 2024 02:16:57 -0400
Subject: [PATCH] [soil] Fetch tarball with https, not http

The new domain has required HTTPS, which seems a bit annoying, but it is
probably right.
---
 soil/common.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/soil/common.sh b/soil/common.sh
index 872720e066..4e69901a59 100644
--- a/soil/common.sh
+++ b/soil/common.sh
@@ -88,7 +88,7 @@ git-commit-url() {
   commit_hash=$(cat _tmp/soil/commit-hash.txt)
 
   # https:// not working on Github Actions?
-  local url="http://$SOIL_HOST/${prefix}jobs/git-$commit_hash"
+  local url="https://$SOIL_HOST/${prefix}jobs/git-$commit_hash"
 
   echo $url
 }