Github PR emails from Skara bots stalled since March 31st

[tim.bell at oracle.com]

All -

We are investigating an internal mail server problem that is blocking 
traffic related to Github (project Skara).

At this point we do not have an ETA for a fix.

Tim