Re: [webkit-dev] New WebKit reviewer: Stephen Chenney

2013-02-20 Thread Florin Malita
Awesome job, Stephen!

On Wed, Feb 20, 2013 at 5:37 PM, Levi Weintraub wrote:

 Here here! Congratulations!

 On Wed, Feb 20, 2013 at 2:36 PM, Philip Rogers wrote:

 This is fantastic. Congratulations Stephen!

 On Wed, Feb 20, 2013 at 2:34 PM, Dirk Schulze wrote:

 Hi WebKit folks,

 It is a pleasure to announce that Stephen Chenney
 is a WebKit Reviewer now.

 Stephen did and does an awesome job on various SVG, Font and Skia
 related topics. He fixed at least a dozen of urgent security bugs and has a
 great understanding of the WebCore code base.

 Please join me in congratulating Stephen for his new status!



 webkit-dev mailing list

 webkit-dev mailing list

 webkit-dev mailing list

webkit-dev mailing list

Re: [webkit-dev] Changing Github repository to mirror (was Github vs.

2013-01-25 Thread Florin Malita
Looks like mirroring stopped on 1/23 (last commit:

Jesus, can you take a look?


On Wed, Jan 16, 2013 at 7:55 AM, Jesus Sanchez-Palencia je...@webkit.orgwrote:


 The mirror is finally ready again:
 It now follows the same hashes of People who have
 forked this repository on github before will now have to rebase their

 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 .

 I will now coordinate with William so we can get Apple pushing to the
 mirror at the same time they push to .

 Thanks everyone that got involved for the help!


 2013/1/14 Jesus Sanchez-Palencia
  Just yet another quick heads-up:
  2013/1/14 Jesus Sanchez-Palencia
  We have decided that the best approach for this is to start a new
  repository (webkit-mirror), delete the old one
  ( and then rename the new repository.
  I had to change my strategy here after talking to a few people on
  It seems that doing a git push -f to the current repository
  ( 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.
  I will be doing the mirroring myself for while, until Apple can set
  this up from the same machine that git pushes to
  People that are using the current github repository will probably have
  to re-clone and rebase their branches.
  This won't affect or any other official WebKit
  2012/12/11 Jesus Sanchez-Palencia
  2012/12/4 Tor Arne Vestbø
  Bill, what do you think about pushing the official SVN import to
 GitHub as
  tor arne
  Any updates about this?
  So we might be able to rename the existing one and ask github to
  our repository into
  Apparently Apache takes that way:
  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ø
  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 so that folks can more
  easily move branches between the two.  For my part, I've
  switched over
  to using GitHub exclusive of, 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
  automatically?  If so, you can switch the hashes whenever is
  convenient for you.  (It might be nice to announce the
  this list so that folks aren't taken by surprise.)
  The mirror is also pushed to, which I was planning to
  as is for now, so that would mean setting up an extra mirroring
  the non-author-rewritten history :/ Also, the server I run this
  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, and make the GitHub
  an official mirror?
  tor arne
  webkit-dev mailing list

Re: [webkit-dev] and trac.webkit org down?

2012-08-12 Thread Florin Malita
And down it goes again...

On Fri, Aug 10, 2012 at 11:14 AM, Levi Weintraub wrote:

 We're back!

 On Fri, Aug 10, 2012 at 8:07 AM, Peter Beverloo pe...@chromium.orgwrote:

 It's been down for the past hour, again.  Just a nudge in case it slipped


 On Thu, Aug 9, 2012 at 10:41 AM, Osztrogonac Csaba 

 Hi, and is unavailable again. :(
 Could you check it, please?


 Osztrogonac Csaba írta:

  It seems and is unavailable
 now. (at least from Hungary) Have you got any idea what happened?

 webkit-dev mailing list**mailman/listinfo/webkit-dev

 webkit-dev mailing list

 webkit-dev mailing list

webkit-dev mailing list