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