On Tue, Mar 15, 2022 at 12:28:41AM +0100, Theo Buehler wrote: > It's been annoying me for a long time that the jenkins downloads take an > inordinate amount of time (something between 10-30 min for ~90M). I > think they keep the mirrors.jenkins-ci.org servers on life support to > keep backwards compatibility. $HOMEPAGE links to get.jenkins.io which > seems to be a proper CDN which also supports TLSv1.3. > > Any reason not to switch to those mirrors?
This is the diff I wanted to send: Index: devel/Makefile =================================================================== RCS file: /cvs/ports/devel/jenkins/devel/Makefile,v retrieving revision 1.106 diff -u -p -r1.106 Makefile --- devel/Makefile 11 Mar 2022 18:50:15 -0000 1.106 +++ devel/Makefile 14 Mar 2022 23:31:16 -0000 @@ -1,5 +1,5 @@ VERSION = 2.335 -MASTER_SITES = http://mirrors.jenkins-ci.org/war/${VERSION}/ +MASTER_SITES = https://get.jenkins.io/war/${VERSION}/ DIST_SUBDIR = jenkins-devel .include <bsd.port.mk> Index: stable/Makefile =================================================================== RCS file: /cvs/ports/devel/jenkins/stable/Makefile,v retrieving revision 1.49 diff -u -p -r1.49 Makefile --- stable/Makefile 11 Mar 2022 18:50:15 -0000 1.49 +++ stable/Makefile 14 Mar 2022 23:18:01 -0000 @@ -1,5 +1,5 @@ VERSION = 2.319.3 -MASTER_SITES = http://mirrors.jenkins-ci.org/war-stable/${VERSION}/ +MASTER_SITES = https://get.jenkins.io/war-stable/${VERSION}/ DIST_SUBDIR = jenkins-stable .include <bsd.port.mk>
