On Mon, Aug 3, 2020 at 1:48 PM Linus Torvalds<torvalds@linux-foundation.org> 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 andexcited about it. I wonder why. Linus