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