On 11/30/12 23:59 , Hajime Morrita wrote:
It looks github supports mirroring by pulling a repo from official location. http://stackoverflow.com/questions/11370239/creating-an-official-github-mirror
Ah, didn't know they provided that service, nice. I'm a bit worried about the sync delay though, as you say.
Bill, what do you think about pushing the official SVN import to GitHub as well?
tor arne
So we might be able to rename the existing one and ask github to pull our git.webkit.org <http://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ø <tor.arne.ves...@digia.com <mailto:tor.arne.ves...@digia.com>> 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 <http://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 <http://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 <http://git.webkit.org>, and make the GitHub mirror an official mirror? tor arne _________________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org <mailto:webkit-dev@lists.webkit.org> http://lists.webkit.org/__mailman/listinfo/webkit-dev <http://lists.webkit.org/mailman/listinfo/webkit-dev> _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev
