status.php.net shows that it was last updated on Thursday, the 25th of June, 2015, at 05:01:24. In manage/mirrors.php?id=226 Last mirror check time and Last update time both seems to be incorrect (other servers data seems to correct).
On Thu, Aug 20, 2015 at 8:41 AM, Christoph Becker <[email protected]> wrote: > On 19.08.2015 at 17:16, Hannes Magnusson wrote: > > > On Wed, Aug 19, 2015 at 8:01 AM, Christoph Becker <[email protected]> > wrote: > >> On 19.08.2015 at 16:36, Hannes Magnusson wrote: > >> > >>> On Wed, Aug 19, 2015 at 5:18 AM, Christoph Becker <[email protected]> > wrote: > >>>> On 19.08.2015 at 13:58, Jean-Sébastien Hedde wrote: > >>>> > >>>>> It's seems that lots of translation builds are broken since august > 8th > >>>>> (cf http://php.net/download-docs.php). > >>>>> > >>>>> We didn't received build errors on doc-fr. > >>>> > >>>> I guess that is related to <https://bugs.php.net/bug.php?id=70203>. > >>>> (CC'ing the webmaster list.) > >>> > >>> That seems like something that could have been caused by the recent > >>> force pushed to the repo. > >> > >> Um, the force push happened on 2015-08-08[1], but the doc server hasn't > >> been synced since 2015-08-06 at least[2]. > > > > Then I've no idea. I can't actually even ssh into the server.... > > Unsure why it doesn't recognize my ssh keys.... > > Who's our contact at eUKhost? According to status.php.net the server > was last updated 2012-05-20, what's obviously overstated, though. > > -- > Christoph M. Becker > > -- *Pasindu De Silva**[email protected] <[email protected]>*
