Re: [webkit-dev] bugs.webkit.org - Maintenance: 10.00 - 11.00am

2017-03-30 Thread Ling Ho

Hello,

I'd like to apologize for the short notice this morning, and subsequent 
longer than expected downtime/interruptions.


We think we figured out problems reported so far, and the server is good 
to go. There is a remaining issue with notification emails getting 
delayed in our mail server, due to it being temporarily blocked by 
several mail relays. We are working to get a workaround for that.


Thanks,
...
ling


On 3/30/17 9:55 AM, Ling Ho wrote:

Hello WebKit developers,

We are flipping a switch to restart bugs.webkit.org on a new server 
between 10-11am this morning. There should only be a few minutes of 
interruptions while DNS records are being changed. Please delay saving 
any change till we are back on the new server.


Thanks,
...
ling


___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Re: [webkit-dev] bugs.webkit.org - Maintenance: 10.00 - 11.00am

2017-03-30 Thread Chris Dumez
Any update? It’s been a few minutes :)

--
 Chris Dumez




> On Mar 30, 2017, at 9:55 AM, Ling Ho  wrote:
> 
> Hello WebKit developers,
> 
> We are flipping a switch to restart bugs.webkit.org on a new server between 
> 10-11am this morning. There should only be a few minutes of interruptions 
> while DNS records are being changed. Please delay saving any change till we 
> are back on the new server.
> 
> Thanks,
> ...
> ling
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


[webkit-dev] bugs.webkit.org - Maintenance: 10.00 - 11.00am

2017-03-30 Thread Ling Ho

Hello WebKit developers,

We are flipping a switch to restart bugs.webkit.org on a new server 
between 10-11am this morning. There should only be a few minutes of 
interruptions while DNS records are being changed. Please delay saving 
any change till we are back on the new server.


Thanks,
...
ling
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev