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. -K
