W3C home > Mailing lists > Public > public-webrtc-editors@w3.org > May 2016

Re: Merging PR #616

From: Harald Alvestrand <harald@alvestrand.no>
Date: Tue, 10 May 2016 09:36:42 +0200
To: Adam Bergkvist <adam.bergkvist@ericsson.com>, "public-webrtc-editors@w3.org" <public-webrtc-editors@w3.org>, Dominique Hazael-Massieux <dom@w3.org>
Message-ID: <57318F8A.9070701@alvestrand.no>
Den 10. mai 2016 09:35, skrev Adam Bergkvist:
> On 2016-05-10 08:55, Harald Alvestrand wrote:
>> This is a big one.
>>
>> And it's pretty sure to invalidate every other PR in the queue (and vice
>> versa).
>>
>> Should we merge this ASAP, and spend the time up to Thursday's call on
>> rebasing the others?
>>
>> I think it's pretty important that we get this one in, and *currently*
>> it merges without conflict.
> 
> Right now we have quite a few PRs pending that would break. I just 
> talked to Dom and he said that PR #616 is mostly generated with a script 
> he has written. He said that it would be ok if we merge as much as we 
> can on Thursday and then give him a green light to generate a new WebIDL 
> conversion patch and commit it directly. That sounds good to me. What do 
> you guys think?
> 


That sounds better to me, in fact.

> /Adam
> 
Received on Tuesday, 10 May 2016 07:37:13 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:19:04 UTC