[webkit-dev] EWS down, investigating in progress

https://webkit-queues.webkit.org appears to be offline. We are investigating. Lucas ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev

[webkit-dev] EWS bots aperez-{wpe, gtk}-gcc6-ews will be offline for some days

Hi WebKittens, These two EWS bots which I run on my build machine will be offline for some days due to an office relocation. The machine will be taken on Monday to its new location, but it may take a few days more for the bots to come online depending on how quick the ISP will be in setting up our

Re: [webkit-dev] EWS down, investigating in progress

Service has been restored. Please let us know if you continue to experience any issues. Ryan > On Mar 28, 2019, at 7:58 AM, Lucas Forschler wrote: > > https://webkit-queues.webkit.org appears > to be offline. We are investigating. > > Lucas > > __

[webkit-dev] Spam and indexing

Hello, The robots.txt file that we have on bugs.webkit.org currently allows search engines access to individual bug pages, but not to any bug lists. As a result, search engines and the Internet Archive only index bugs that were filed before robots.txt changes a few years ago, and bugs that are

Re: [webkit-dev] Spam and indexing

28.03.2019, 23:58, "Alexey Proskuryakov" : > Hello, > > The robots.txt file that we have on bugs.webkit.org currently allows search > engines access to individual bug pages, but not to any bug lists. As a > result, search engines and the Internet Archive only index bugs that were > filed befo

Re: [webkit-dev] Spam and indexing

> On Mar 28, 2019, at 2:10 PM, Konstantin Tokarev wrote: > > > > 28.03.2019, 23:58, "Alexey Proskuryakov" >: >> Hello, >> >> The robots.txt file that we have on bugs.webkit.org >> currently allows search engines access to >> individual bug