Re: [webkit-dev] bugs.webkit.org 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 le...@google.com 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 through. Peter On Thu, Aug

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

2013-01-25 Thread Florin Malita
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.orgwrote: Hi, The mirror is finally ready

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 le...@chromium.org wrote: Here here! Congratulations! On Wed, Feb 20, 2013 at 2:36 PM, Philip Rogers p...@google.com wrote: This is fantastic. Congratulations Stephen! On Wed, Feb 20, 2013 at 2:34 PM, Dirk Schulze