Hi, Do I assume correctly that this also affects the availability of ùpdates.jenkins.io`? I'm having issues connecting to it (e.g. while trying to access the update center).
Regards, Fred On Thursday, May 19, 2022 at 9:57:33 AM UTC+2 damien....@gmail.com wrote: > Hello there! > > Reminder that we’re going to change the DNS record of `mirrors.jenkins.io` > to `get.jenkins.io` in the upcoming hour, enforcing HTTPS. > > > Ref. https://www.jenkins.io/blog/2022/05/13/mirrors/ > > > Cheers, > > For the infra team, > Damien DUPORTAL > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/0d2c82c9-196e-424a-855f-830704dda4den%40googlegroups.com.