Re: Missing notifications from github PRs

2019-05-18 Thread Felix Schumacher
I wonder, why I didn't get them anymore. I know I used to get them. But in the watch status JMeter was not listed anymore, so I re-enabled it. Will see, if it worked. Thanks  Felix Am 12.05.19 um 12:11 schrieb sebb: > Note that there are two routes for getting GitHub notifications: > > Either d

Re: Missing notifications from github PRs

2019-05-12 Thread sebb
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

Re: Missing notifications from github PRs

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

Missing notifications from github PRs

2019-05-12 Thread Felix Schumacher
Hi, is it only me, that is not getting any mails about PRs on our github mirror? Regards,  Felix