On 8/3/20 3:10 PM, Konstantin Ryabitsev wrote: > On Mon, Aug 03, 2020 at 01:53:12PM -0700, Linus Torvalds wrote: >> On Mon, Aug 3, 2020 at 1:48 PM Linus Torvalds >> <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: >>> >>> I've pushed out my merge of this thing [..] >> >> It seems I'm not the only one unhappy with the pull request. >> >> For some reason I also don't see pr-tracker-bot being all happy and >> excited about it. I wonder why. > > My guess it's because the body consists of two text/plain MIME-parts and > Python returned the merge.txt part first, where we didn't find what we > were looking for. > > I'll see if I can teach it to walk all text/plain parts looking for > magic git pull strings instead of giving up after the first one. Thanks, I was a bit puzzled on that one too, and this time it definitely wasn't because the tag wasn't there. In terms of attachments, I'm usually a fan of inlining, but seemed cleaner to me to attach the merge resolution as there's already a ton of other stuff in that email. -- Jens Axboe
