W3C home > Mailing lists > Public > public-webapps@w3.org > April to June 2014

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

From: Arthur Barstow <art.barstow@gmail.com>
Date: Wed, 30 Apr 2014 10:44:24 -0400
Message-ID: <53610C48.6020706@gmail.com>
To: EDUARDO FULLEA CARRERA <efc@tid.es>
CC: public-webapps <public-webapps@w3.org>
On 4/30/14 3:25 AM, EDUARDO FULLEA CARRERA wrote:
> We developing the new version at [1], though not yet updated with the changes in my previous email.
>
> But if may be a good idea to migrate is to the W3C GitHub official repo.

Hi Eduardo,

WebApps already has a few specs using github.org/W3C so the Push API can 
be added.

> What is the process to open the project there? Can anyone help?

I'll work with Mike/Robin to create a new "push-api" project, unless you 
request otherwise. OK?

-Thanks, ArtB
Received on Wednesday, 30 April 2014 14:44:59 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 18:14:24 UTC