Missing notifications from github PRs

[Felix Schumacher]

Hi,

is it only me, that is not getting any mails about PRs on our github mirror?

Regards,

 Felix