GitHub mails

[Markus Weimer]

Hi,

I get an enormous amount of GitHub emails to moderate for this list in
any given day. Can someone look into that?

Thanks,

Markus