Some images cannot download (missing restrict = ["mirror"])

[weilinfox]

已经私戳提醒修复，该 issue 仅作记录，会在检查修复后关闭。一些 bot 的提交有问题（已知问题，周会讨论过，但是会后未修复）。

由于关联提交比较多，仅取一个做示例：

如 ad0ad79

该 yaml 疑似缺少配置：

diff --git a/manifests/board-image/buildroot-sdk-milkv-duo/2.0.0.toml b/manifests/board-image/buildroot-sdk-milkv-duo/2.0.0.toml
index 730a6dc..9b31573 100644
--- a/manifests/board-image/buildroot-sdk-milkv-duo/2.0.0.toml
+++ b/manifests/board-image/buildroot-sdk-milkv-duo/2.0.0.toml
@@ -3,6 +3,7 @@ format = "v1"
 name = "milkv-duo-musl-riscv64-sd_v2.0.0.img.zip"
 size = 63204048
 urls = [ "https://github.com/milkv-duo/duo-buildroot-sdk-v2/releases/download/v2.0.0/milkv-duo-musl-riscv64-sd_v2.0.0.img.zip",]
+restrict = ["mirror"]
 
 [distfiles.checksums]
 sha256 = "893d876be93e70079d9acaf0ea57704e470b2fb540616fd3d943615fccfd6369"

旧的提交也应当修复，如 1.1.3 版本 e8a71c6 ，用户可以指定版本号下载该镜像来触发失败

$ ruyi install 'buildroot-sdk-milkv-duo(1.1.3)'
info: downloading https://mirror.iscas.ac.cn/ruyisdk/dist/milkv-duo-sd-v1.1.3-2024-0930.img.zip to /home/hachi/.cache/ruyi/distfiles/milkv-duo-sd-v1.1.3-2024-0930.img.zip
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   153  100   153    0     0    283      0 --:--:-- --:--:-- --:--:--   283
warn: file /home/hachi/.cache/ruyi/distfiles/milkv-duo-sd-v1.1.3-2024-0930.img.zip is corrupt: wrong sha256 checksum: want 48e3acf4a64a34f87cb1328c205c238a495ac5e9be3054516ca0748d0d77f05b, got a5375e8dbc1363a877ef488044177bd7e7dd25fa95b318fa32de36223786b7ac; deleting
fatal error: failed to fetch distfile: /home/hachi/.cache/ruyi/distfiles/milkv-duo-sd-v1.1.3-2024-0930.img.zip failed integrity checks

Downloads can fail for a multitude of reasons, most of which should not and
cannot be handled by Ruyi. For your convenience though, please check if any
of the following common failure modes apply to you, and take actions
accordingly if one of them turns out to be the case:

* Basic connectivity problems
    - is the gateway reachable?
    - is common websites reachable?
    - is there any DNS pollution?
* Organizational and/or ISP restrictions
    - is there a firewall preventing Ruyi traffic?
    - is your ISP blocking access to the source website?
* Volatile upstream
    - is the recorded link dead? (Please raise a Ruyi issue for a fix!)

关联提交 f944442 64ecf5b ad0ad79 ee07f4e 2f1ebb4 c3d1a62 db28106 e8a71c6 5b21d07 aa015f5 83be942 2ec956f 5d44a0d a63d65a d945300

[KevinMX]

CC @wychlw