[webkit-dev] github.com repository force push

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

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

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

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

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