The github repository has stopped being updated and will remain like that for the next hours until I have finished the new setup.
cheers, jesus 2013/1/14 Jesus Sanchez-Palencia <je...@webkit.org>: > Hi, > > This email is a heads-up about the repository change we are starting > today in github. > > In summary, now the github webkit repository will actually mirror > git.webkit.org and they will finally have the same git hashes. I won't > go into the benefits of this change since this has been widely > discussed in the past. > > Since last week me, Tor Arne, William Siegrist, Adam Barth and Lucas > Forschler have been discussing the steps to move on with this and > since no one has raised any issues so far on previous discussions, I > will start this today. > > 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 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