From 389a06f58033e04bc40a1d6321904f5e9005e671 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Tue, 19 Mar 2024 08:36:11 -0700
Subject: [PATCH] Fix publish not following redirect

---
 ci/publish.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/publish.sh b/ci/publish.sh
index 69c2556bca..cfc084699c 100755
--- a/ci/publish.sh
+++ b/ci/publish.sh
@@ -18,7 +18,7 @@ function publish {
 
     # Check crates.io if it is already published
     set +e
-    output=`curl --fail --silent --head  https://crates.io/api/v1/crates/$crate_name/$version/download`
+    output=`curl --fail --silent --head --location https://static.crates.io/crates/$crate_name/$version/download`
     res="$?"
     set -e
     case $res in