[webkit-dev] WebKit is now on GitHub

[Alex Christensen]

It may be worth considering doing one more commit with a message explaining that we moved the repository.  I often find old repositories places without knowing where all the newest things are, and sometimes they have a last git commit pointing to the new repository location and I find that quite helpful.  That may cause tooling problems and it has been quite well communicated that we are moving to GitHub, so there are also reasons not to.

> On Jun 23, 2022, at 3:24 PM, Michael Catanzaro via webkit-dev <webkit-dev at lists.webkit.org> wrote:
> 
> On Thu, Jun 23 2022 at 03:21:59 PM -0700, Jonathan Bedard <jbedard at apple.com> 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 at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev