[openwrt/openwrt] download.pl: Change OpenWrt mirrors to HTTPS.

[LEDE Commits]

blogic pushed a commit to openwrt/openwrt.git, branch master:
https://git.lede-project.org/1ce846580a638bb8a9f9c2571840be65331be38e

commit 1ce846580a638bb8a9f9c2571840be65331be38e
Author: Rosen Penev <rosenp at gmail.com>
AuthorDate: Tue Feb 20 12:43:01 2018 -0800

    download.pl: Change OpenWrt mirrors to HTTPS.
    
    These have supported HTTPS for quite a while. I have not seen any obvious breakage.
    
    Signed-off-by: Rosen Penev <rosenp at gmail.com>
---
 scripts/download.pl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/scripts/download.pl b/scripts/download.pl
index 324cfdb..34fd6a6 100755
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -257,10 +257,10 @@ foreach my $mirror (@ARGV) {
 	}
 }
 
-#push @mirrors, 'http://mirror1.openwrt.org';
-push @mirrors, 'http://sources.lede-project.org';
-push @mirrors, 'http://mirror2.openwrt.org/sources';
-push @mirrors, 'http://downloads.openwrt.org/sources';
+#push @mirrors, 'https://mirror1.openwrt.org';
+push @mirrors, 'https://sources.lede-project.org';
+push @mirrors, 'https://mirror2.openwrt.org/sources';
+push @mirrors, 'https://downloads.openwrt.org/sources';
 
 while (!-f "$target/$filename") {
 	my $mirror = shift @mirrors;