Yes indeed, and we have been discussing the open PRs so far. Trying to nudge the WG formation formality along is just an "administrative" task that this email was attempting to nudge along 😁 ... pinging from the PR itself has been ineffective, so I thought a dedicated email might help. CRB
On Wed, May 16, 2018, 02:47 Alessandro Lai <[email protected]> wrote: > The sponsor, which in this case should be Michael, has to call the vote on > that. When the vote passes, the WG is officially formed. > In any case, that shouldn't stop you from working on the draft anyway, as > the content of it shouldn't matter in regard of the vote, which is only > about the willingness of having a PSR on that topic. > > Il giorno martedì 15 maggio 2018 20:34:51 UTC+2, Chuck Burgess ha scritto: >> >> A new working group for PSR-5 is outlined in PR#1026. >> >> Is it possible to get the PR merged, and an entrance vote initiated to >> return it to Draft status? >> CRB >> > -- > You received this message because you are subscribed to the Google Groups > "PHP Framework Interoperability Group" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/php-fig/41e95778-825c-497e-88d1-a143284b9f3e%40googlegroups.com > <https://groups.google.com/d/msgid/php-fig/41e95778-825c-497e-88d1-a143284b9f3e%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "PHP Framework Interoperability Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/php-fig/CANsgjnv1BsfKqGhca%2BuzW5g4X1pp_UK8yaa9u6TCjOvrfBC6Zg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
