From dd7e289eba09e238d8071d1a9546a655ee8550f5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=AA=B7=E9=AB=85=E5=A4=B4?= <74764072+DHDAXCW@users.noreply.github.com> Date: Tue, 31 Jan 2023 08:37:07 +0800 Subject: [PATCH] Update download.pl --- scripts/download.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/download.pl b/scripts/download.pl index e3f690099..c7d2b8a9d 100755 --- a/scripts/download.pl +++ b/scripts/download.pl @@ -269,7 +269,7 @@ foreach my $mirror (@ARGV) { } elsif ($mirror =~ /^\@GITHUB\/(.+)$/) { # give github a few more tries (different mirrors) for (1 .. 5) { - push @mirrors, "https://ghproxy.com/https://raw.githubusercontent.com/$1"; + push @mirrors, "https://raw.githubusercontent.com/$1"; } } elsif ($mirror =~ /^\@GNU\/(.+)$/) { push @mirrors, "https://mirrors.ustc.edu.cn/gnu/$1";