From 0c7a82c63410008b97450fa0acd2bffb25664894 Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Thu, 24 Jul 2025 04:05:41 -0500
Subject: [PATCH] ci: Use a mirror for musl

We pretty often get at least one job failed because of failure to pull
the musl git repo. Switch this to the unofficial mirror [1] which should
be more reliable.

Link: https://github.com/kraj/musl [1]
---
 ci/update-musl.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/update-musl.sh b/ci/update-musl.sh
index b71cf5778..637ab1394 100755
--- a/ci/update-musl.sh
+++ b/ci/update-musl.sh
@@ -3,7 +3,7 @@
 
 set -eux
 
-url=git://git.musl-libc.org/musl
+url=https://github.com/kraj/musl.git
 ref=c47ad25ea3b484e10326f933e927c0bc8cded3da
 dst=crates/musl-math-sys/musl