[webkit-dev] 7 Days Until Retiring Subversion
Carlos Garcia Campos
carlosgc at webkit.org
Mon Jun 20 06:31:23 PDT 2022
El jue, 16-06-2022 a las 16:11 -0700, Jonathan Bedard via webkit-dev
escribió:
> Hey folks,
>
> The time has come! On Thursday, June 23rd, we are planning on
> stopping all commits to the Subversion repository hosted
> on https://svn.webkit.org, all future commits will at that point be
> made on https://github.com/WebKit/WebKit. If the following is true
> about your development workflow:
>
We still depend on svn for the stable branches of GTK and WPE ports.
Would it be possible to migrate our branches to github before removing
svn?
> - You use github.com/WebKit/WebKit as the remote for your git
> checkout of WebKit
> - You commit with Commit-Queue, Merge-Queue or Unsafe-Merge-Queue
>
> Then you do not need to change anything about your workflow. Changes
> which are being processed during the transition will be routed to the
> correct place by Commit and Merge Queue. I would like to specifically
> note that `webkit-patch` and the patch workflow in general will
> continue to work after Subversion is frozen. You can check which
> remote your checkout uses with ‘git remote -v’. Please see the
> migration guide below for details.
>
> If you are still reliant off of git.webkit.org remotes (either
> WebKit-https.git or WebKit.git), or if you still have a checkout
> based on https://svn.webkit.org, it’s time to migrate those
> checkouts. See https://github.com/WebKit/WebKit/wiki/Migration for
> details on how to migrate from an existing checkout
> or https://github.com/WebKit/WebKit/wiki/Contributing#checking-out-We
> bKit for starting fresh. We intend to keep our defunct remotes
> available for a few weeks to ease the transitions, but starting
> Thursday, these 3 remotes will not be receiving new commits.
>
> Please reach out if you have any issues,
>
> Jonathan Bedard
> WebKit Continuous Integration
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev
More information about the webkit-dev
mailing list