bin/fetch_source_archive.sh: Add storage.puri.st mirror

storage.puri.st is an alternate host name for storage.puri.sm, in case there is another issue with the .sm name registration. Signed-off-by: Jonathon Hall <[email protected]>
linuxboot · Sep 26, 2024 · d6ef65c · d6ef65c
1 parent 3fef9e0
commit d6ef65c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/fetch_source_archive.sh b/bin/fetch_source_archive.sh
@@ -4,6 +4,7 @@ set -eo pipefail
 # Mirror URLs, make sure these end in slashes.
 BACKUP_MIRRORS=(
 	https://storage.puri.sm/heads-packages/
+	https://storage.puri.st/heads-packages/
 )
 
 usage()