Re: [webkit-dev] Announcing Login with GitHub on EWS webpages

2023-03-15 Thread Aakash Jain via webkit-dev
Hi Everyone, I am happy to announce that we expanded this feature and now any person with WebKit committer or reviewer privilege can also press "Stop" button on any ongoing EWS build. This is intended to be used in scenarios like: - You got the required information from EWS (as some important

Re: [webkit-dev] WebKit Documentation

2023-03-15 Thread Carlos Alberto Lopez Perez via webkit-dev
On 09/03/2023 19:48, Brandon Stewart via webkit-dev wrote: > What would people prefer we use as the official documentation location: > (1) docs.webkit.org > (2) developer.webkit.org > (3) documentation.webkit.org > (4) Other +1 for docs.webkit.org (shorter is better)

Re: [webkit-dev] WebKit Documentation

2023-03-15 Thread Simon Fraser via webkit-dev
> On Mar 9, 2023, at 10:48 AM, Brandon Stewart via webkit-dev > wrote: > > Hello, > > Sorry for the delay on the documentation update. > > For getting the documentation system online, we were trying to settle on a > subdomain. > > What would people prefer we use as the official