[webkit-dev] github mirror
shezbaig.wk at gmail.com
Wed Apr 18 07:54:45 PDT 2012
(resending to all)
Yes, I think it would be better to mirror git.webkit.org to github instead
of mirroring from svn to github.
In theory, it really shouldn't make a difference though, so i'm actually
surprised that the sha1 are out of sync.
But mirroring from git.webkit.org will guarantee they are the same,
regardless of any wierdness that git-svn might do.
On Wed, Apr 18, 2012 at 10:00 AM, Jarred Nicholls <jarred at webkit.org> wrote:
> Wouldn't we need to continually mirror git.webkit.org to github as well?
> I presume github is mirroring directly from svn right now. I'd think the
> out-of-sync issue would simply occur again unless we started to mirror
> git.webkit.org to github instead of svn to github.
> I don't know what all Git takes into account when creating the sha1
> outside of content, tree and commit meta data, so I'm unsure if doing this
> git.webkit.org => github forced push would mean that future svn commits -
> being mirrored to both repos in parallel - would result in identical sha1
> hashes going forward...?
> On Wed, Apr 18, 2012 at 6:53 AM, Shezan Baig <shezbaig.wk at gmail.com>wrote:
>> Hi WebKit,
>> I've been using a fork of the following repo:
>> However, yesterday there was discussion on #webkit that the SHA-1
>> checksums on this repo are different from repo at git.webkit.org, which
>> means folks working on both need to have both versions checked out.
>> I believe the answer to this problem is in:
>> (look at the last section titled "Manual clone and push")
>> Anyone in the "WebKit" organization on https://github.com/WebKit should
>> be able to push this. Once this is pushed, we can retire the existing repo
>> on github. This means the existing forks will be unusable, but I think it
>> will be good to do this earlier rather than later, so we just have "one"
>> repo, and this will make it easier for existing git.webkit.org users to
>> switch to github.
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the webkit-dev