New Public IPv4 for Jenkins Mirrors

[amurleopard]

The Jenkins project packages and plugins are hosted through a network of mirror servers (provided by our sponsors) close to your location.

It provides a "HTTP redirector" service hosted behind the get.jenkins.io, mirrors.jenkins.io and mirrors.jenkins-ci.org domains, with a new public IP (20.119.232.75) since the 12th of June 2023. The former redirector service and its previous IPv4 will be decommissioned the 27th of June 2023.

Please update your DNS servers and firewall rules to the new IP 20.119.232.75 if you are in a restricted environment.

More details in https://github.com/jenkins-infra/helpdesk/issues/3351.

https://www.jenkins.io/blog/2023/06/22/mirrors-jenkins-new-IP/