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@lists.webkit.org> wrote: > > On Thu, Jun 23 2022 at 03:21:59 PM -0700, Jonathan Bedard <jbed...@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@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