[webkit-dev] Reminder: Planned Outage: WebKit Bugzilla - Mar 10, 2023

[Ling Ho via webkit-dev]

Hello,

Just a reminder that WebKit Bugzilla will be offline starting tomorrow 
evening at 10:30pm PST.


Thanks,
...
ling

On 3/3/23 10:23 AM, Ling Ho via webkit-dev wrote:

Hello WebKit developers,

We are migrating WebKit Bugzilla (https://bugs.webkit.org) next Friday 
to a new hosting platform and will need to take it offline.


*Begin*: Friday March 10, 2023 - 10:30pm (PST)
*Duration*: 5 hours

Please contact us at ad...@webkit.org or on Slack if you have any 
questions or concerns.


Thank you,
...
Ling Ho

___
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] Reminder: Planned Outage: Merge Queue & EWS - March 10 - March 12, 2023

[Ling Ho via webkit-dev]

Hello,

Just a reminder that the Merge Queue and EWS will be offline start 
tomorrow evening PST.


Thanks,
...
ling

On 3/3/23 10:15 AM, Ling Ho via webkit-dev wrote:

Hello WebKit,

A network equipment work in our facility is scheduled to take place 
during the weekend of March 10, 2023. As a result, our Merge Queue and 
EWS services will be unavailable during this period:


*Begin*: Friday March 10, 2023 - 9pm (PST)
*End*: Sunday March 12, 2023 - No later than 9am (PST)

Please contact us at ad...@webkit.org if you have any questions or 
concerns.


Thank you,
...
Ling Ho

___
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

Re: [webkit-dev] WebKit Documentation

[Kirsling, Ross via webkit-dev]

I’d vote for (1) since it’s easy to type!

Thanks,
Ross

From: Ryosuke Niwa via webkit-dev 
Reply-To: Ryosuke Niwa 
Date: Friday, March 10, 2023 at 6:41 AM
To: Brandon Stewart 
Cc: Ling Ho via webkit-dev 
Subject: Re: [webkit-dev] WebKit Documentation




On Mar 9, 2023, at 10:48 AM, Brandon Stewart via webkit-dev 
 wrote:

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 documentation location:
(1) docs.webkit.org
(2) developer.webkit.org
(3) documentation.webkit.org

(1) or (3) seems good.

- R. Niwa

On Feb 28, 2023, at 12:39 AM, dpino via webkit-dev 
 wrote:

On 9/20/22 05:28, Brandon Stewart via webkit-dev wrote:

Hi WebKit Developers,



Documentation is an important part of any open source project, especially for a 
larger project like WebKit. Being able to ramp up during the onboarding 
process, reading up on architectural decisions, and learning how to perform 
common procedures are all features the documentation should tackle. WebKit has 
a large set of documentation already, but it is scattered around a wide range 
of platforms (Trac, GitHub Wiki, markdown files in the code, Git commits, 
etc...), and some of the information is out of date.



A few months ago, I started working on a new documentation solution based on 
the DocC documentation framework. This provides an easy way to add and edit 
documentation through markdown files. I have already ported a large section of 
Trac, all of the GitHub Wiki, and all of the non third party markdown files in 
the code over to this platform. I have tested this on macOS and Linux and have 
found it works extremely well. (Windows should be able to use WSL2 at the 
moment, while a few remaining issues get sorted out). The only dependency for 
this project is a recent installation of Swift.



You can already download the documentation and preview it locally, but we are 
looking to publish it online for easy viewing. We were looking to get your 
feedback if we would want to publish the documentation on GitHub Pages or 
webkit.org.



The documentation source can be found at 
https://github.com/webkit/documentation.



- Brandon

___

webkit-dev mailing list

webkit-dev@lists.webkit.org

https://lists.webkit.org/mailman/listinfo/webkit-dev

H,

It has been more than 5 months since this new documentation repository was 
announced and as far as I know it hasn't been published yet. Is there any news 
when this site will be publicly available?

Right now in Igalia we need to publish some information publicly and we were 
discussing where it's the right place to put it.

  * WebKit Documentation 
(https://github.com/webkit/documentation.git),
 IMHO it doesn't make sense because the information needs to be public.

  * Trac (https://trac.webkit.org/wiki), since 
WebKit Documentation hasn't been published yet, the fact is that we have been 
updating Trac pages in the last months.

  * WebKit GitHub Wiki 
(https://github.com/WebKit/WebKit/wiki), 
it seems like the best candidate. It says that new documentation should live 
there instead of being added to Trac. But on the other hand when WebKit 
Documentation was announced some people advocated for keep using the GH Wiki 
but that idea was discarded. It seems like WebKit GitHub Wiki is were new 
documents should be published until WebKit Documentation site is not available? 
Please confirm whether this assumption is correct or not.

--

Diego
___
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 mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Re: [webkit-dev] WebKit Documentation

[Ryosuke Niwa via webkit-dev]

> On Mar 9, 2023, at 10:48 AM, Brandon Stewart via webkit-dev 
>  wrote:
> 
> 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 documentation location:
> (1) docs.webkit.org
> (2) developer.webkit.org
> (3) documentation.webkit.org

(1) or (3) seems good.

- R. Niwa

>> On Feb 28, 2023, at 12:39 AM, dpino via webkit-dev 
>>  wrote:
>> On 9/20/22 05:28, Brandon Stewart via webkit-dev wrote:
>> 
>>> Hi WebKit Developers,
>>> 
>>> Documentation is an important part of any open source project, especially 
>>> for a larger project like WebKit. Being able to ramp up during the 
>>> onboarding process, reading up on architectural decisions, and learning how 
>>> to perform common procedures are all features the documentation should 
>>> tackle. WebKit has a large set of documentation already, but it is 
>>> scattered around a wide range of platforms (Trac, GitHub Wiki, markdown 
>>> files in the code, Git commits, etc...), and some of the information is out 
>>> of date.
>>> 
>>> A few months ago, I started working on a new documentation solution based 
>>> on the DocC documentation framework. This provides an easy way to add and 
>>> edit documentation through markdown files. I have already ported a large 
>>> section of Trac, all of the GitHub Wiki, and all of the non third party 
>>> markdown files in the code over to this platform. I have tested this on 
>>> macOS and Linux and have found it works extremely well. (Windows should be 
>>> able to use WSL2 at the moment, while a few remaining issues get sorted 
>>> out). The only dependency for this project is a recent installation of 
>>> Swift.
>>> 
>>> You can already download the documentation and preview it locally, but we 
>>> are looking to publish it online for easy viewing. We were looking to get 
>>> your feedback if we would want to publish the documentation on GitHub Pages 
>>> or webkit.org.
>>> 
>>> The documentation source can be found at 
>>> https://github.com/webkit/documentation.
>>> 
>>> - Brandon
>>> ___
>>> webkit-dev mailing list
>>> webkit-dev@lists.webkit.org 
>>> https://lists.webkit.org/mailman/listinfo/webkit-dev
>> H,
>> 
>> It has been more than 5 months since this new documentation repository was 
>> announced and as far as I know it hasn't been published yet. Is there any 
>> news when this site will be publicly available?
>> 
>> Right now in Igalia we need to publish some information publicly and we were 
>> discussing where it's the right place to put it.
>> 
>>   * WebKit Documentation (https://github.com/webkit/documentation.git), IMHO 
>> it doesn't make sense because the information needs to be public.
>> 
>>   * Trac (https://trac.webkit.org/wiki), since WebKit Documentation hasn't 
>> been published yet, the fact is that we have been updating Trac pages in the 
>> last months.
>> 
>>   * WebKit GitHub Wiki (https://github.com/WebKit/WebKit/wiki), it seems 
>> like the best candidate. It says that new documentation should live there 
>> instead of being added to Trac. But on the other hand when WebKit 
>> Documentation was announced some people advocated for keep using the GH Wiki 
>> but that idea was discarded. It seems like WebKit GitHub Wiki is were new 
>> documents should be published until WebKit Documentation site is not 
>> available? Please confirm whether this assumption is correct or not.
>> 
>> --
>> 
>> Diego
>> 
>> ___
>> 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 mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Re: [webkit-dev] Tyler Wilcock is now a WebKit Reviewer

[Andres Gonzalez via webkit-dev]

Big congrats!

> On Mar 9, 2023, at 2:48 PM, Chris Fleizach via webkit-dev 
>  wrote:
> 
> Hi
> 
> I’m happy to report that Tyler Wilcock is now a WebKit reviewer!
> 
> Tyler has great expertise in all things accessibility and is a great contact 
> to discuss the accessible angle of any issue.
> 
> Thanks!
> ___
> 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] Tyler Wilcock is now a WebKit Reviewer

[Chris Fleizach via webkit-dev]

Hi

I’m happy to report that Tyler Wilcock is now a WebKit reviewer!

Tyler has great expertise in all things accessibility and is a great contact to 
discuss the accessible angle of any issue.

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

[webkit-dev] WebKit Documentation using MkDocs

[Brandon Stewart via webkit-dev]

Hello,

I got feedback that people would prefer not to add Swift as a requirement for 
building the documentation. Since WebKit relies heavily on Python for large 
parts of its tooling, I decided to port it over to a popular Python 
documentation system MkDocs.

This provides a few benefits over the previous solution:
- Improved search across documents
- Python based
- Easier to setup and install (just run pip3 install mkdocs-material)
- Works great across macOS, Linux, and Windows

The repo is located at the same location: 
https://github.com/WebKit/Documentation

I have been continuing to port over a large amount of the relevant 
documentation from Trac, but if you notice anything missing please feel free to 
add it.

Feedback welcome.

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

Re: [webkit-dev] WebKit Documentation

[Brandon Stewart via webkit-dev]

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 documentation location:
(1) docs.webkit.org
(2) developer.webkit.org
(3) documentation.webkit.org
(4) Other

Could you please reply to this e-mail indicating which origin you would prefer?

Thanks,
Brandon

> On Feb 28, 2023, at 12:39 AM, dpino via webkit-dev 
>  wrote:
> 
> 
> 
> On 9/20/22 05:28, Brandon Stewart via webkit-dev wrote:
>> Hi WebKit Developers,
>> 
>> Documentation is an important part of any open source project, especially 
>> for a larger project like WebKit. Being able to ramp up during the 
>> onboarding process, reading up on architectural decisions, and learning how 
>> to perform common procedures are all features the documentation should 
>> tackle. WebKit has a large set of documentation already, but it is scattered 
>> around a wide range of platforms (Trac, GitHub Wiki, markdown files in the 
>> code, Git commits, etc...), and some of the information is out of date.
>> 
>> A few months ago, I started working on a new documentation solution based on 
>> the DocC documentation framework. This provides an easy way to add and edit 
>> documentation through markdown files. I have already ported a large section 
>> of Trac, all of the GitHub Wiki, and all of the non third party markdown 
>> files in the code over to this platform. I have tested this on macOS and 
>> Linux and have found it works extremely well. (Windows should be able to use 
>> WSL2 at the moment, while a few remaining issues get sorted out). The only 
>> dependency for this project is a recent installation of Swift.
>> 
>> You can already download the documentation and preview it locally, but we 
>> are looking to publish it online for easy viewing. We were looking to get 
>> your feedback if we would want to publish the documentation on GitHub Pages 
>> or webkit.org.
>> 
>> The documentation source can be found at 
>> https://github.com/webkit/documentation.
>> 
>> - Brandon
>> ___
>> webkit-dev mailing list
>> webkit-dev@lists.webkit.org 
>> https://lists.webkit.org/mailman/listinfo/webkit-dev
> H,
> 
> It has been more than 5 months since this new documentation repository was 
> announced and as far as I know it hasn't been published yet. Is there any 
> news when this site will be publicly available?
> 
> Right now in Igalia we need to publish some information publicly and we were 
> discussing where it's the right place to put it.
> 
>   * WebKit Documentation (https://github.com/webkit/documentation.git), IMHO 
> it doesn't make sense because the information needs to be public.
> 
>   * Trac (https://trac.webkit.org/wiki), since WebKit Documentation hasn't 
> been published yet, the fact is that we have been updating Trac pages in the 
> last months.
> 
>   * WebKit GitHub Wiki (https://github.com/WebKit/WebKit/wiki), it seems like 
> the best candidate. It says that new documentation should live there instead 
> of being added to Trac. But on the other hand when WebKit Documentation was 
> announced some people advocated for keep using the GH Wiki but that idea was 
> discarded. It seems like WebKit GitHub Wiki is were new documents should be 
> published until WebKit Documentation site is not available? Please confirm 
> whether this assumption is correct or not.
> 
> --
> 
> Diego
> 
> ___
> 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