Hi, Actually we already made the transition to the current github commit ids, because github wanted to shut down our repository, if it is not a fork of the "semi-official" webkit repository. Of course we will be able to transition back to the git.webkit.org commit ids, when the transition was made.
I am just mentioning this, that you don't have to rush anything because of us. Best Regards, Gergely On Thu, Nov 29, 2012 at 3:53 PM, Jesus Sanchez-Palencia <je...@webkit.org>wrote: > 2012/11/28 Adam Barth <aba...@webkit.org>: > > My sense is that the WebKit community would prefer that the hashes in > > GitHub match the hashes in 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, so the the difference in > > hashes aren't an issue for me, but I can understand why they'd be > > problematic for other people. > > > > 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.) > > > > Thanks for letting us use your mirror. I've found it very useful to > > be able to push work-in-progress branches to GitHub to share with > > folks. > > +1. > If we are all set about this, it would be awesome if we could move on > with it, Tor Arne! > This would also avoid some extra work for Gergely Kis, I guess... > > cheers, > jesus > _______________________________________________ > 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
