<div style="font-family: arial, helvetica, sans-serif; font-size: 10pt"><div dir="ltr"><div style>It looks github supports mirroring by pulling a repo from official location.<br></div><a href="http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror">http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror</a><br>
<div style><br></div><div>So we might be able to rename the existing one and ask github to pull our <a href="http://git.webkit.org">git.webkit.org</a> repository into github/WebKit/webkit.</div><div style>Apparently Apache takes that way: <a href="https://github.com/apache">https://github.com/apache</a></div>
<div style>The &quot;mirroring&quot; icon indicates kind of official-ness.<br></div><div style><br></div><div style>I don&#39;t know how long their mirroring delay is, though.</div><div style><br></div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sat, Dec 1, 2012 at 12:07 AM, Tor Arne Vestbų <span dir="ltr">&lt;<a href="mailto:tor.arne.vestbo@digia.com" target="_blank">tor.arne.vestbo@digia.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 11/28/12 16:55 , Adam Barth wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
My sense is that the WebKit community would prefer that the hashes in<br>
GitHub match the hashes in <a href="http://git.webkit.org" target="_blank">git.webkit.org</a> so that folks can more<br>
easily move branches between the two.  For my part, I&#39;ve switched over<br>
to using GitHub exclusive of <a href="http://git.webkit.org" target="_blank">git.webkit.org</a>, so the the difference in<br>
hashes aren&#39;t an issue for me, but I can understand why they&#39;d be<br>
problematic for other people.<br>
</blockquote>
<br></div>
Yepp, agreed. Let&#39;s switch it over.<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
After the force-push, would you still be able to push updates<br>
automatically?  If so, you can switch the hashes whenever is<br>
convenient for you.  (It might be nice to announce the date/time on<br>
this list so that folks aren&#39;t taken by surprise.)<br>
</blockquote>
<br></div>
The mirror is also pushed to <a href="http://gitorious.org/webkit/webkit" target="_blank">http://gitorious.org/webkit/<u></u>webkit</a>, which I was planning to keep as is for now, so that would mean setting up an extra mirroring for the non-author-rewritten history :/ Also, the server I run this on has a somewhat uncertain future. With that in mind it&#39;s probably easier to just push directly from the same import that&#39;s pushed to <a href="http://git.webkit.org" target="_blank">git.webkit.org</a>, and make the GitHub mirror an official mirror?<span class="HOEnZb"><font color="#888888"><br>

<br>
tor arne</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<u></u>_________________<br>
webkit-dev mailing list<br>
<a href="mailto:webkit-dev@lists.webkit.org" target="_blank">webkit-dev@lists.webkit.org</a><br>
<a href="http://lists.webkit.org/mailman/listinfo/webkit-dev" target="_blank">http://lists.webkit.org/<u></u>mailman/listinfo/webkit-dev</a><br>
</div></div></blockquote></div><br></div></div>