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

Reply via email to