[webkit-dev] github mirror

[Evan Martin]

On Tue, Apr 24, 2012 at 7:04 AM, Shezan Baig <shezbaig.wk at gmail.com> wrote:
>> 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.
>
> But I agree these two repos should probably merge sooner rather than
> later, just to avoid confusion for new users etc :)

People who have existing branches can use git grafts to manually merge
the "same" commit in the old and new branches.  Then tools like "git
merge" of the master of the new branch will do the right thing
implicitly.

(http://evan-tech.livejournal.com/255341.html is an old post about
doing a similar sort of thing)