On Fri, 30 Aug 2019, Philip Li wrote: > On Fri, Aug 30, 2019 at 02:20:53PM +0800, Philip Li wrote: > > thanks for your patience. I just realize we actually block tip-bot, but > > not tip-bot2. I will update the logic to avoid this issue, and we will > > keep monitor for a while to fix new issue if any. > > BTW: the related service need some time to be upgraded after code change, > some already fetched patches will continue sending out noisy mails until > they are consumed. Sorry about this. All good. I'll just redirect them to /dev/null. Thanks, tglx
