Re: [admin] putting Push API in W3C's Github repo [Was: Re: Progress on Push API]
On Thu, 1 May 2014, at 21:38, Arthur Barstow wrote: On 4/30/14 1:19 PM, Mounir Lamouri wrote: On Thu, 1 May 2014, at 1:50, EDUARDO FULLEA CARRERA wrote: On 30 abr 2014 at 16:52:49, Arthur Barstow wrote: 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. Thanks! Once we deal with open pull requests in current repo will migrate to the new one. A question, who has permission to accept pull requests? At least the editors should have. I believe this will be the WebApps team including Marcos and I for the moment: https://github.com/orgs/w3c/teams/webapps Cindy - it appears Mounir is asking to create a new WebApps team i.e. https://github.com/orgs/w3c/teams/WebApps and to include him (I don't know Mounir's GH uname), Marcos (marcosc), Eudardo (efullea) and Bryan (blsaws). Mounir - is this correct? Not exactly. There is already a WebApps team with Marcos and I. Eduardo and Bryan might need to be added. -- Mounir
[admin] putting Push API in W3C's Github repo [Was: Re: Progress on Push API]
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
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.
RE: [admin] putting Push API in W3C's Github repo [Was: Re: Progress on Push API]
On 30 abr 2014 at 16:52:49, Arthur Barstow wrote: 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. Thanks! Once we deal with open pull requests in current repo will migrate to the new one. A question, who has permission to accept pull requests? At least the editors should have. Este mensaje se dirige exclusivamente a su destinatario. Puede consultar nuestra política de envío y recepción de correo electrónico en el enlace situado más abajo. This message is intended exclusively for its addressee. We only send and receive email on the basis of the terms set out at: http://www.tid.es/ES/PAGINAS/disclaimer.aspx
