It looks github supports mirroring by pulling a repo from official location. http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror
So we might be able to rename the existing one and ask github to pull our git.webkit.org repository into github/WebKit/webkit. Apparently Apache takes that way: https://github.com/apache The "mirroring" icon indicates kind of official-ness. I don't know how long their mirroring delay is, though. On Sat, Dec 1, 2012 at 12:07 AM, Tor Arne Vestbø <[email protected]>wrote: > On 11/28/12 16:55 , Adam Barth wrote: > >> My sense is that the WebKit community would prefer that the hashes in >> GitHub match the hashes in git.webkit.org so that folks can more >> easily move branches between the two. For my part, I've switched over >> to using GitHub exclusive of git.webkit.org, so the the difference in >> hashes aren't an issue for me, but I can understand why they'd be >> problematic for other people. >> > > Yepp, agreed. Let's switch it over. > > > After the force-push, would you still be able to push updates >> automatically? If so, you can switch the hashes whenever is >> convenient for you. (It might be nice to announce the date/time on >> this list so that folks aren't taken by surprise.) >> > > The mirror is also pushed to > http://gitorious.org/webkit/**webkit<http://gitorious.org/webkit/webkit>, > 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's > probably easier to just push directly from the same import that's pushed to > git.webkit.org, and make the GitHub mirror an official mirror? > > tor arne > > ______________________________**_________________ > webkit-dev mailing list > [email protected] > http://lists.webkit.org/**mailman/listinfo/webkit-dev<http://lists.webkit.org/mailman/listinfo/webkit-dev> >
_______________________________________________ webkit-dev mailing list [email protected] http://lists.webkit.org/mailman/listinfo/webkit-dev
