[webkit-dev] github.com repository force push

2021-03-19 Thread Aakash Jain via webkit-dev
Hi everyone,

We had little bit of issue with syncing between WebKit's github and svn 
repositories. To fix the issue, we had to force push and modify few git commits.

In case you notice any conflict in your github.com  
checkout of WebKit repo (which might be because of having one of those commits 
which we modified), please do the following: "git reset --hard HEAD~100", "git 
pull".

Please let me know if you face any issues.

Thanks
Aakash___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Re: [webkit-dev] Build bot workers aperez-{wpe, gtk}-ews to be offline for a week

2021-03-19 Thread Adrian Perez de Castro via webkit-dev
On Tue, 16 Mar 2021 02:18:48 +0200 Adrian Perez de Castro  
wrote:
> On Sat, 06 Mar 2021 16:29:10 +0200 Adrian Perez de Castro via webkit-dev 
>  wrote:
>  
> > I will be moving to a new office in the next week or two, and I need to shut
> > these down today. In all goes as expected, it should be possible to bring 
> > them
> > online in about a week. There are other workers for the GTK and EWS ports, 
> > so
> > the queues will continue running normally--if a tad slower. In the meantime,
> > my apologies for the inconvenience.
> 
> The hardware was moved on Saturday, and I am currently waiting that Internet
> connectivity is sorted out to be able to bring the builders back online in
> the next days.

…aaand they are back online.

Cheers,
-Adrian
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Re: [webkit-dev] Caio Lima is now a WebKit reviewer

2021-03-19 Thread Caio Lima via webkit-dev
Thanks a lot!

Em qui., 18 de mar. de 2021 às 20:31, Shu-yu Guo via webkit-dev
 escreveu:
>
> Congrats from V8 and a fellow TC39 delegate!
>
> On Thu, Mar 18, 2021 at 4:18 PM Yusuke Suzuki via webkit-dev 
>  wrote:
>>
>> Congrats!
>>
>> -Yusuke
>>
>> > On Mar 18, 2021, at 3:42 PM, Saam Barati via webkit-dev 
>> >  wrote:
>> >
>> > Hi folks,
>> >
>> > I'm happy to announce that Caio Lima is now a WebKit reviewer. Send your 
>> > JavaScriptCore reviews his way!
>> >
>> > Congrats, Caio.
>> >
>> > - Saam
>> > ___
>> > 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