Wouldn't we need to continually mirror <span style>git.</span><span style>webkit</span><span style>.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 </span><span style>git.</span><span style>webkit</span><span style>.org to github instead of svn to github.</span><div>

<font color="#222222" face="arial, sans-serif"><br></font></div><div><font color="#222222" face="arial, sans-serif">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 </font><span style>git.</span><span style>webkit</span><span style>.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...?</span></div>

<div><font color="#222222" face="arial, sans-serif"><br></font></div><div><font color="#222222" face="arial, sans-serif">Jarred<br></font><br><div class="gmail_quote">On Wed, Apr 18, 2012 at 6:53 AM, Shezan Baig <span dir="ltr"><<a href="mailto:shezbaig.wk@gmail.com">shezbaig.wk@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Hi WebKit,</div><div><br></div><div>I've been using a fork of the following repo: <a href="https://github.com/WebKit/webkit" target="_blank">https://github.com/WebKit/webkit</a></div>

<div><br></div><div>However, yesterday there was discussion on #webkit that the SHA-1 checksums on this repo are different from repo at git.<span>webkit</span>.org, which means folks working on both need to have both versions checked out.</div>


<div><br></div><div>I believe the answer to this problem is in:</div><a href="http://help.github.com/move-a-repo/" target="_blank">http://help.github.com/move-a-repo/</a><div><br></div><div>(look at the last section titled "Manual clone and push")</div>


<div><br><div>Anyone in the "WebKit" organization on <a href="https://github.com/WebKit" target="_blank">https://github.com/WebKit</a> 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 <a href="http://git.webkit.org" target="_blank">git.webkit.org</a> users to switch to github.</div>


</div><div><br></div><div>Thanks,</div><div>-shez-</div><div><br></div>
<br>_______________________________________________<br>
webkit-dev mailing list<br>
<a href="mailto:webkit-dev@lists.webkit.org">webkit-dev@lists.webkit.org</a><br>
<a href="http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev" target="_blank">http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev</a><br>
<br></blockquote></div><br></div>