Hi Felix, I still get them. Regards
On Sunday, May 12, 2019, Felix Schumacher <[email protected]> wrote: > Hi, > > is it only me, that is not getting any mails about PRs on our github > mirror? > > Regards, > > Felix > > -- Cordialement. Philippe Mouawad.
