Hi, Just yet another quick heads-up:
> 2013/1/14 Jesus Sanchez-Palencia <je...@webkit.org>: >> We have decided that the best approach for this is to start a new >> repository (webkit-mirror), delete the old one >> (https://github.com/WebKit/webkit) and then rename the new repository. I had to change my strategy here after talking to a few people on #github. It seems that doing a "git push -f" to the current repository (https://github.com/WebKit/webkit) will actually have less impact on people branching/forking it on github. In other words, it should be less painful to rebase your fork on github for the new hashes after I'm done with the setup. I will let you know when the switching is done. Cheers, jesus >> >> I will be doing the mirroring myself for while, until Apple can set >> this up from the same machine that git pushes to git.webkit.org. >> >> People that are using the current github repository will probably have >> to re-clone and rebase their branches. >> >> This won't affect git.webkit.org or any other official WebKit repository. >> >> >> Cheers, >> jesus >> >> >> >> 2012/12/11 Jesus Sanchez-Palencia <jesus.palen...@openbossa.org>: >>> Hi, >>> >>> 2012/12/4 Tor Arne Vestbø <tor.arne.ves...@digia.com>: >>>> >>>> Bill, what do you think about pushing the official SVN import to GitHub as >>>> well? >>>> >>>> tor arne >>> >>> Any updates about this? >>> >>> Cheers, >>> jesus >>> >>> >>>> >>>>> >>>>> 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 _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev