On Mon, 11 Feb 2019 at 13:40, Konstantin Ryabitsev <konstantin@xxxxxxxxxxxxxxxxxxx> 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://git.kernel.org/pub/scm/linux/kernel/git/evalenti/linux-soc-thermal fixes > >> > > >> > has been merged into torvalds/linux.git: > >> > https://git.kernel.org/torvalds/c/7ad915f5ebf5b9e7ca98a7048d8f84a631fe388b > >> > >> I think the bot is off here because the above commit is about a merge > >> from the linux-omap tree from Tony. > > > >Indeed. > > > >.. 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? Linus: Sorry, I totally misunderstood what you were saying -- I blame the jet lag. I'll check out what's going on. -K
