Notify via email when github pull requests become stale.