Re: [webkit-dev] WebKit is now on GitHub

2022-06-23 Thread Michael Catanzaro via webkit-dev
On Thu, Jun 23 2022 at 03:21:59 PM -0700, Jonathan Bedard 
 wrote:
I’m aware of the WebKitGTK branches, please reach out about the WPE 
ones, I’m not sure which ones those are.


The WPE releases actually use the WebKitGTK branches! They are shared 
branches. I suppose that is pretty confusing, but naming things is hard.


Sounds like you already have this under control.

Michael


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


Re: [webkit-dev] WebKit is now on GitHub

2022-06-23 Thread Jonathan Bedard via webkit-dev
I’m aware of the WebKitGTK branches, please reach out about the WPE ones, I’m 
not sure which ones those are.

Absolutely will make sure we’ve migrated everything before delete SVN for good, 
and there will be plenty of warning before we do anything destructive.

Jonathan

> On Jun 23, 2022, at 2:01 PM, Michael Catanzaro  wrote:
> 
> On Thu, Jun 23 2022 at 10:29:55 AM -0700, Jonathan Bedard via webkit-dev 
>  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
> 
> 

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


Re: [webkit-dev] WebKit is now on GitHub

2022-06-23 Thread Adrian Perez de Castro via webkit-dev
Hi Michael,

On Thu, 23 Jun 2022 16:01:11 -0500 Michael Catanzaro via webkit-dev 
 wrote:
> On Thu, Jun 23 2022 at 10:29:55 AM -0700, Jonathan Bedard via 
> webkit-dev  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.

Branches *will* be migrated, there has been a thread in Slack about this:

  https://webkit.slack.com/archives/C01C94S4C6M/p1655821161932009

(/me is a bit sad that with more people favoring Slack over mailing
lists important things can go unnoticed and not archived much more
easily)

Cheers,
—Adrián


signature.asc
Description: PGP signature
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Re: [webkit-dev] WebKit is now on GitHub

2022-06-23 Thread Michael Catanzaro via webkit-dev
On Thu, Jun 23 2022 at 10:29:55 AM -0700, Jonathan Bedard via 
webkit-dev  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


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


[webkit-dev] WebKit is now on GitHub

2022-06-23 Thread Jonathan Bedard via webkit-dev
r295779 is the last commit to WebKit’s Subversion repository. 
https://github.com/WebKit/WebKit is now the canonical home of the WebKit 
project! All commits must now go through Commit-Queue, Merge-Queue or 
Unsafe-Merge-Queue.

For the next few weeks, svn.webkit.org and trac.webkit.org will remain 
accessible in a read-only state so we can audit any content we intend to 
migrate to GitHub.

Let me know if there is any fallout,

Jonathan Bedard
WebKit Continuous Integration

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