download.pl: add jsDelivr mirror for GitHub
authorDENG Qingfang <dengqf6@mail2.sysu.edu.cn>
Sat, 2 Nov 2019 15:10:40 +0000 (23:10 +0800)
committerJo-Philipp Wich <jo@mein.io>
Wed, 21 Feb 2024 21:31:36 +0000 (22:31 +0100)
commit8db3333cddb589934408fcba1281753b05b8e6c0
tree8700448cd42ca1b26b94a7208addc699e9fe702a
parent29b79060695a38161c400ed596be26a167762b6b
download.pl: add jsDelivr mirror for GitHub

jsDelivr has CDN servers in Mainland China (as well as rest of the world)
so it can be used to accelerate downloading.

jsDelivr uses the following URL for GitHub files:
https://cdn.jsdelivr.net/gh/{username}/{repo}@{revision}/path/to/file

For compatibility, the script will replace the 2nd '/' with '@' when
pushing the jsDelivr URL to mirrors.

Signed-off-by: DENG Qingfang <dengqf6@mail2.sysu.edu.cn>
scripts/download.pl