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

Received on Tuesday, 7 February 2017 22:37:00 UTC