Looks like we have not been getting the PR notification email since we
moved to gitbox.
Opened an INFRA Jira for this

https://issues.apache.org/jira/browse/INFRA-16664

Reply via email to