[webkit-dev] github mirror
jarred at webkit.org
Wed Apr 18 07:00:07 PDT 2012
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
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