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 <jbedard@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