Note that there are two routes for getting GitHub notifications: Either directly as a member of that GitHub repo, or indirectly via emails to a JMeter mailing list.
You can personally enable/disable the former by updating your Watch status on the page https://github.com/apache/jmeter The latter can only be changed by Infra. It does look as though PRs are not being sent to any JMeter lists. They should probably be sent to issues@ alongside Bugzilla reports. S. On Sun, 12 May 2019 at 10:52, Philippe Mouawad <[email protected]> wrote: > > 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 on our github > > mirror? > > > > Regards, > > > > Felix > > > > > > -- > Cordialement. > Philippe Mouawad.
