Re: github email bridge broken?

I receveid a bunch of github email lately, I think it works fine. I haven't
pushed anything to the group's repo, I'm working on my own fork for now,
finishing up the various constructor fixes.

Cheers,
Paul.

On Wed, Feb 8, 2017 at 2:33 AM, Jerry Smith (WPT) <jdsmith@microsoft.com>
wrote:

> I’ve not seen anything from the Audio WG this week.
>
>
>
> Jerry
>
>
>
> *From:* Joe Berkovitz [mailto:joe@noteflight.com]
> *Sent:* Tuesday, February 7, 2017 2:36 PM
> *To:* Audio Working Group <public-audio@w3.org>; Chris Lilley <
> chris@w3.org>
> *Subject:* github email bridge broken?
>
>
>
> Hi all,
>
>
>
> I haven't seen any updates on the Audio WG list from github in a long
> time. I am wondering if this also broke when the mailing list was
> accidentally shut down (but wasn't repaired).
>
>
>
> For example, I just pushed a commit earlier today. Did anyone else see
> that come through?
>
>
> .            .       .    .  . ...Joe
>