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

[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!
>>>
>>>
>>> Greetings,
>>>
>>> Dirk
>>>
>>> ___
>>> webkit-dev mailing list
>>> webkit-dev@lists.webkit.org
>>> https://lists.webkit.org/mailman/listinfo/webkit-dev
>>>
>>>
>>
>> ___
>> webkit-dev mailing list
>> webkit-dev@lists.webkit.org
>> https://lists.webkit.org/mailman/listinfo/webkit-dev
>>
>>
>
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev
>
>
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

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

[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 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 :
> > Hi,
> >
> > 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
> >>> (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 :
>  Hi,
> 
>  2012/12/4 Tor Arne Vestbø :
> >
> > 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  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ø
> >> 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
> >>  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.
> >>
> >>
> >> 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
> >> , 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 th

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

[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 wrote:
>
>> It's been down for the past hour, again.  Just a nudge in case it slipped
>> through.
>>
>> Peter
>>
>>
>> On Thu, Aug 9, 2012 at 10:41 AM, Osztrogonac Csaba 
>> wrote:
>>
>>> Hi,
>>>
>>> bugs.webkit.org and trac.webkit.org is unavailable again. :(
>>> Could you check it, please?
>>>
>>> br,
>>> Ossy
>>>
>>> Osztrogonac Csaba írta:
>>>
>>>  It seems bugs.webkit.org and trac.webkit.org is unavailable
 now. (at least from Hungary) Have you got any idea what happened?

>>> __**_
>>> 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