[webkit-dev] github mirror
Tor Arne Vestbø
tor.arne.vestbo at nokia.com
Tue Apr 24 07:15:26 PDT 2012
On 24.04.12 16:04, ext Shezan Baig wrote:
> On Tue, Apr 24, 2012 at 9:55 AM, Adam Roben<aroben at webkit.org> wrote:
>>> In what situation does this cause issues?
>> Probably the biggest issue is for people who've been using
>> git.webkit.org and now want to try out GitHub. Since the commits are
>> distinct between the two repositories, they have to do a full clone to
>> make the switch.
> In theory though, these users should be able to just add a remote to
> their existing clone. Then it will just sync the commit objects, and
> not the trees and blobs. Not ideal, they would have two different
> 'masters', but still doable, and not *that* much of an overhead.
> Switching between the different masters should also be fast since the
> trees will be the same.
Right, a fetch should ideally just pull down the commit objects, but it
appears git does not have this optimization. If it did, I don't think
the issue of two remote masters would be that big, since you would at
some point likely transition to use one of the mirrors anyways. And if
not, having multiple mirrors/remotes should be fine -- I'm using both
the github and gitorious mirror without any issues.
> But I agree these two repos should probably merge sooner rather than
> later, just to avoid confusion for new users etc :)
I would support that if it means cleaning up the author-script (which
I'm happy to do), and using that on webkit.org.
More information about the webkit-dev