Re: Pull Request emails are not being sent to the mailing list

2018-01-02 Thread Ted Yu
pull request emails, at least the initial one, are recorded on the underlying JIRA. For the time being, you can get to pull request(s) of interest thru JIRA. FYI On Tue, Jan 2, 2018 at 1:30 PM, James Cheng wrote: > Since Dec 21st, it seems that email notifications of Github pull requests > are

Pull Request emails are not being sent to the mailing list

2018-01-02 Thread James Cheng
Since Dec 21st, it seems that email notifications of Github pull requests are not being sent to the dev mailing list. Is this a bug, or have PR emails moved to somewhere else? If it’s a bug, can we look into this? The last email PR that was sent was this one: http://mail-archives.apache.org/mod