Re: [GIT PULL] Thermal-SoC management fixes for v5.0-rc6

From: Konstantin Ryabitsev
Date: Mon Feb 11 2019 - 13:40:08 EST

On Mon, Feb 11, 2019 at 10:34:09AM -0800, Linus Torvalds wrote:
On Sun, Feb 10, 2019 at 7:19 PM Eduardo Valentin <edubezval@xxxxxxxxx> wrote:

On Sun, Feb 10, 2019 at 04:25:16AM +0000, pr-tracker-bot@xxxxxxxxxx wrote:
> The pull request you sent on Sat, 9 Feb 2019 20:17:23 -0800:
> > git:// fixes
> has been merged into torvalds/linux.git:

I think the bot is off here because the above commit is about a merge
from the linux-omap tree from Tony.


.. and the pr-tracker-bot thing actually made me ignore the pull
request, thinking I had left it in my inbox despite having pulled it.

So it would be really good to know why pr-tracker-bot ended up
replying to the wrong email, because it can cause real problems.

Simply put, it's because "it's a pull request sent to Linus." We currently don't disambiguate between Linus showing up in "To" or in "Cc" -- is that an important differentiation that should be enforced?


Attachment: signature.asc
Description: PGP signature