Re: issues with github pull request notification emails missing

2016-11-18 Thread Sean Owen
I have seen the same issue from time to time where I couldn't see a person's alias in the popup. Happened yesterday for me with @joshrosen. No idea why. I was also missing emails for a while to spam, but it seemed like a Gmail problem. It said I had marked messages from about 6 different people as

Re: issues with github pull request notification emails missing

2016-11-17 Thread Xiao Li
Just FYI, normally, when we ping a people, the github can show the full name after we type the github id. Below is an example: [image: 内嵌图片 2] Starting from last week, Reynold's full name is not shown. Does github update their hash functions? [image: 内嵌图片 1] Thanks, Xiao Li 2016-11-16 23:30

Re: issues with github pull request notification emails missing

2016-11-16 Thread Holden Karau
+1 it seems like I'm missing a number of my GitHub email notifications lately (although since I run my own mail server and forward I've been assuming it's my own fault). I've also had issues with having greatly delayed notifications on some of my own pull requests but that might be unrelated. On

issues with github pull request notification emails missing

2016-11-16 Thread Reynold Xin
I've noticed that a lot of github pull request notifications no longer come to my inbox. In the past I'd get an email for every reply to a pull request that I subscribed to (i.e. commented on). Lately I noticed for a lot of them I didn't get any emails, but if I opened the pull requests directly on