[admin] putting Push API in W3C's Github repo [Was: Re: Progress on Push API] from Arthur Barstow on 2014-04-30 (public-webapps@w3.org from April to June 2014)

From: Arthur Barstow <art.barstow@gmail.com>
Date: Wed, 30 Apr 2014 10:44:24 -0400
To: EDUARDO FULLEA CARRERA <efc@tid.es>
CC: public-webapps <public-webapps@w3.org>
Message-ID: <53610C48.6020706@gmail.com>

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