How to hardconfig the mirror to use?

Jenkins version: 2.426

I upgraded core Jenkins, but need to also upgrade installed plugins.
I face the following error:

Failed to load https://updates.jenkins.io/ ... (redirected to: https://ftp.belnet.be/...)

This is because https://ftp.belnet.be/ kind of blacklisted me. Proof

wget -S https://updates.jenkins.io/download/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
--2023-10-10 11:51:09--  https://updates.jenkins.io/download/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
Loaded CA certificate '/etc/ssl/certs/ca-certificates.crt'
Resolving updates.jenkins.io (updates.jenkins.io)... 52.202.51.185
Connecting to updates.jenkins.io (updates.jenkins.io)|52.202.51.185|:443... connected.
HTTP request sent, awaiting response... 
  HTTP/1.1 302 Found
  Date: Tue, 10 Oct 2023 09:51:10 GMT
  Server: Apache
  Location: https://get.jenkins.io/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi <--- redirection
 ... 
Location: https://get.jenkins.io/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi [following]
--2023-10-10 11:51:10--  https://get.jenkins.io/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
Resolving get.jenkins.io (get.jenkins.io)... 20.7.178.24, 2603:1030:408:5::15a
Connecting to get.jenkins.io (get.jenkins.io)|20.7.178.24|:443... connected.
HTTP request sent, awaiting response... 
  HTTP/1.1 302 Found
  Date: Tue, 10 Oct 2023 09:51:10 GMT
  Content-Type: text/html; charset=utf-8
  Content-Length: 0
  Connection: keep-alive
  Cache-Control: private, no-cache
  Link: <https://ftp.halifax.rwth-aachen.de/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi>; rel=duplicate; pri=1; geo=de
  Link: <https://ftp-nyc.osuosl.org/pub/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi>; rel=duplicate; pri=2; geo=us
  Link: <https://ftp-chi.osuosl.org/pub/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi>; rel=duplicate; pri=3; geo=us
  Link: <https://mirror.xmission.com/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi>; rel=duplicate; pri=4; geo=us
  Link: <https://mirrors.tuna.tsinghua.edu.cn/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi>; rel=duplicate; pri=5; geo=cn
  Link: <https://ftp.yz.yamagata-u.ac.jp/pub/misc/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi>; rel=duplicate; pri=6; geo=jp
  Link: <https://sg.mirror.servanamanaged.com/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi>; rel=duplicate; pri=7; geo=sg
  Location: https://ftp.belnet.be/mirror/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi  <-- redirection
  Strict-Transport-Security: max-age=2592000; includeSubDomains; preload
Location: https://ftp.belnet.be/mirror/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi [following]
--2023-10-10 11:51:10--  https://ftp.belnet.be/mirror/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
Resolving ftp.belnet.be (ftp.belnet.be)... 193.190.198.27, 2001:6a8:3c80::27
Connecting to ftp.belnet.be (ftp.belnet.be)|193.190.198.27|:443... 

And here I timeout.

But if I try any of the Link in the header,

I get the resource:

 wget https://ftp.halifax.rwth-aachen.de/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
--2023-10-10 11:54:01--  https://ftp.halifax.rwth-aachen.de/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
 ...
Connecting to ftp.halifax.rwth-aachen.de (ftp.halifax.rwth-aachen.de)|137.226.34.46|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 84632 (83K) [application/octet-stream]
Saving to: ‘ant.hpi’

ant.hpi                                         100%[======================================================================================================>]  82.65K  --.-KB/s    in 0.03s   

2023-10-10 11:54:01 (3.13 MB/s) - ‘ant.hpi’ saved [84632/84632]

wget https://ftp-nyc.osuosl.org/pub/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
--2023-10-10 11:54:12--  https://ftp-nyc.osuosl.org/pub/jenkins/plugins/ant/497.v94e7d9fffa_b_9/ant.hpi
 ...
Connecting to ftp-nyc.osuosl.org (ftp-nyc.osuosl.org)|64.50.233.100|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 84632 (83K) [application/octet-stream]
Saving to: ‘ant.hpi.1’

ant.hpi.1                                       100%[======================================================================================================>]  82.65K   424KB/s    in 0.2s    

2023-10-10 11:54:13 (424 KB/s) - ‘ant.hpi.1’ saved [84632/84632]

So the question is: Where in Jenkins configuration can I temporarily force plugins repo hostname manually?

There isn’t a way to hard code the URL returned by get.jenkins.io . You’ll need to open a Jenkins infrastructure help desk issue reporting the timeout on the connection to https://ftp.belnet.be/mirror/jenkins/

I am able to download the file without any timeout.

The problem should be gone as per ftp.belnet.be should be removed from mirrors or a fall-back offered · Issue #3784 · jenkins-infra/helpdesk · GitHub

Can you confirm @mihamina-ats?