Re: [fileapi] Pull Request on GitHub
On August 16, 2016 at 6:31:31 PM, Zhen Zhang (izgz...@gmail.com) wrote: > Hi, > > I have a PR on GitHub regarding some issues of wording in current File API > spec: https://github.com/w3c/FileAPI/pull/42 > , but nobody ever responded me there. > I wonder if I should discuss the patch somewhere else? It seems that no one has touched that API for about 8 months. Marijn, are you still editing that document? I guess Jonas won't be, but not sure about Arun.
Re: [fileapi] Pull Request on GitHub
I won't be editing it either. On Tue, Aug 16, 2016 at 4:44 AM, Marcos Caceres wrote: > On August 16, 2016 at 6:31:31 PM, Zhen Zhang (izgz...@gmail.com) wrote: > > Hi, > > > > I have a PR on GitHub regarding some issues of wording in current File > API spec: https://github.com/w3c/FileAPI/pull/42 > > , but nobody ever responded me there. > > I wonder if I should discuss the patch somewhere else? > > It seems that no one has touched that API for about 8 months. > > Marijn, are you still editing that document? I guess Jonas won't be, > but not sure about Arun. > >
Re: [fileapi] Pull Request on GitHub
On Tue, Aug 16, 2016 at 11:43 AM, Arun Ranganathan wrote: > I won't be editing it either. > > On Tue, Aug 16, 2016 at 4:44 AM, Marcos Caceres > wrote: > >> On August 16, 2016 at 6:31:31 PM, Zhen Zhang (izgz...@gmail.com) wrote: >> > Hi, >> > >> > I have a PR on GitHub regarding some issues of wording in current File >> API spec: https://github.com/w3c/FileAPI/pull/42 >> > , but nobody ever responded me there. >> > I wonder if I should discuss the patch somewhere else? >> > 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? It seems that no one has touched that API for about 8 months. >> > Not sure where you're getting 8 months from? I definitely still have catching up with outstanding issues to do, but I have been doing work on the API significantly more recent than 8 months. > Marijn, are you still editing that document? I guess Jonas won't be, >> but not sure about Arun. >> > Yes, I'm still editing that document. Just haven't had time yet to fully catch up with outstanding issues/comments.
RE: [fileapi] Pull Request on GitHub
> 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.