On Sun, 28 Oct 2018 at 12:55, Kalle Sommer Nielsen <ka...@php.net> wrote:
> Den lør. 27. okt. 2018 kl. 22.52 skrev Rasmus Lerdorf <ras...@lerdorf.com > >: > > But yes, perhaps it is time to end the mirror program and just CDN *. > php.net. > > What do others think? > From a webmaster standpoint, I think it would ease management greatly > to finally update that part of the infrastructure as often mirrors > have some interested and hard to debug bugs. Any change that will lessen the maintenance burden of the websites, gets a thumbs up from me. As do changes that would get us (or more easily get us) things like full HTTPS coverage, current software versions (and keeping them up-to-date), etc. > Besides, there isn't that > many around who actively looks into mirrors so I think its just a > win-win for us all. > Would we necessarily have more heads actively looking into whatever replaces the mirror system? I wouldn't want us to swap one system that one person looks after with another system that one person looks after. I'm not sure if this counts as in scope for this particular discussion, but there was talk some years ago of making "the website" (i.e. what gets mirrored currently) more static; in particular not requiring the mirrors run PHP by, for example, generating HTML instead of PHP files for the manual, etc. There will need to be some changes made to make the website more CDN-friendly anyway. > > > -- > regards, > > Kalle Sommer Nielsen > ka...@php.net > > -- > PHP Webmaster List Mailing List (http://www.php.net/) > To unsubscribe, visit: http://www.php.net/unsub.php > >
