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

Re: Merging PR #616

From: Harald Alvestrand <harald@alvestrand.no>
Date: Fri, 13 May 2016 09:10:49 +0200
To: Dominique Hazael-Massieux <dom@w3.org>,Adam Bergkvist <adam.bergkvist@ericsson.com>,"public-webrtc-editors@w3.org" <public-webrtc-editors@w3.org>
Message-ID: <9FB46A96-AB6A-4DBE-8E7D-1D7A54927BCD@alvestrand.no>
Confirmed. The other pulls will just have to cope.

Den 13. mai 2016 08:48:56 CEST, skrev Dominique Hazael-Massieux <dom@w3.org>:
>On 10/05/2016 09:35, Adam Bergkvist wrote:
>> 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
>> 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
>> conversion patch and commit it directly.
>Can someone confirm that I can proceed with the conversion? I see there
>are 8 other pull requests left open in the repo, which will need severe
>rebasing if I proceed.

Sent from my Android device with K-9 Mail. Please excuse my brevity.
Received on Friday, 13 May 2016 07:10:26 UTC

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