Sorry, we have been facing network issues here for the past few days... Anyway, should be fixed now and it is pushing the current git.webkit.org HEAD already.
Cheers, jesus 2013/1/25 Florin Malita <fmal...@google.com>: > Looks like mirroring stopped on 1/23 (last commit: > https://github.com/WebKit/webkit/commit/d5c4f2bd4a80b397eade1ee53b39d738e5656598). > > Jesus, can you take a look? > > Thanks, > Florin > > > On Wed, Jan 16, 2013 at 7:55 AM, Jesus Sanchez-Palencia <je...@webkit.org> > wrote: >> >> Hi, >> >> The mirror is finally ready again: https://github.com/WebKit/webkit >> It now follows the same hashes of git.webkit.org. People who have >> forked this repository on github before will now have to rebase their >> branches. >> >> I was hold back a bit because Github wasn't allowing me to push more >> than 2GB. I contacted them but before I could get answer I decide to >> 'split' the push. First I git reset --hard the repository back to a >> commit from 2008, pushed this, then reset --hard to 2009 and pushed >> this, and so on. >> >> In the middle of the process the folks from github increased our push >> limit to 20GB and David (barrbrain) was kind enough to push one last >> sync, getting us back to 2012. After that I kept the syncing manullay >> for a few hours but now the repository is being updated automatically >> every 5 minutes to stay in sync with git.webkit.org . >> >> I will now coordinate with William so we can get Apple pushing to the >> mirror at the same time they push to git.webkit.org . >> >> Thanks everyone that got involved for the help! >> >> Cheers, >> jesus >> >> 2013/1/14 Jesus Sanchez-Palencia <je...@webkit.org>: >> > 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 > > _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org http://lists.webkit.org/mailman/listinfo/webkit-dev