Keep track and get notified when github pull requests become stale.