Re: [admin] putting Push API in W3C's Github repo [Was: Re: Progress on Push API]

On 4/30/14 10:44 AM, Arthur Barstow wrote:
> I'll work with Mike/Robin to create a new "push-api" project, unless 
> you request otherwise. OK?

Eduardo - Mike created this project <https://github.com/w3c/push-api>.

Received on Wednesday, 30 April 2014 14:53:21 UTC