Re: Re: github IDs?
| From: | Ivan Enderlin @ Hoa | Date: | Tue, 29 Jul 2014 07:03:44 +0000 |
| Subject: | Re: Re: github IDs? | ||
| References: | 1 2 | Groups: | php.standards |
| Request: | Send a blank email to standards-+get-116@lists.php.net to get a copy of this message | ||
On 29/07/2014 00:01, Sara Golemon wrote:
On Mon, Jul 28, 2014 at 12:15 PM, Sara Golemon <pollita@php.net> wrote:-- Ivan Enderlin Developer of Hoa http://hoa-project.net/ PhD. at DISC/Femto-ST (Vesontio) and INRIA (Cassis) http://disc.univ-fcomte.fr/ and http://www.inria.fr/ Member of HTML and WebApps Working Group of W3C http://w3.org/Could folks email me your github IDs? I'm putting together the phplang repo and setting up the initial pool of write access (those with ZendEngine karma). Just direct reply, no need to spam the list.Nevermind. Hannes just setup the spec's permanent home on git.php.net so we'll just tie into the existing php.net karma system (what I was hoping to move towards eventually anyway). Will it be mirrored to Github also?