[webkit-dev] WebKit is now on GitHub

[Michael Catanzaro]

On Thu, Jun 23 2022 at 10:29:55 AM -0700, Jonathan Bedard via 
webkit-dev <webkit-dev at lists.webkit.org> wrote:
> Let me know if there is any fallout,

As far as I know, WebKitGTK and WPE WebKit stable branches have not yet 
been migrated and are now read-only? Let's make sure not to delete SVN 
until we're certain they have migrated.

Michael