W3C home > Mailing lists > Public > public-webapps@w3.org > July to September 2016

RE: [fileapi] Pull Request on GitHub

From: Adrian Bateman <adrianba@microsoft.com>
Date: Wed, 17 Aug 2016 18:55:33 +0000
To: Marijn Kruisselbrink <mek@chromium.org>, Arun Ranganathan <arun@arunranga.com>
CC: Marcos Caceres <marcos@marcosc.com>, "public-webapps@w3.org" <public-webapps@w3.org>, Zhen Zhang <izgzhen@gmail.com>, Arun Ranganathan <aranganathan@mozilla.com>
Message-ID: <CY1PR03MB1405E4120095F2CE840E2DE8D3140@CY1PR03MB1405.namprd03.prod.outlook.com>
> On Wed, Aug 17, 2016 at 11:38:59, Marijn Kruisselbrink wrote:
> Sorry about that. Somehow that PR slipped through the cracks. I've commented
> on the PR.
> 
> Anybody knows what the deal is with the ipr check? What makes it fail, and if
> it fails who is supposed to do what to not make it fail?

This happens when someone who is not a recognized (by the tool) member of
the WG makes a pull request.

Since this looks like only editorial changes, we'll mark it as non-substantive.

Cheers,

Adrian.
Received on Wednesday, 17 August 2016 18:56:21 UTC

This archive was generated by hypermail 2.3.1 : Friday, 27 October 2017 07:27:40 UTC